fn closure_typeinfo<'tcx>(
    tcx: TyCtxt<'tcx>,
    def: LocalDefId
) -> ClosureTypeInfo<'tcx>