`PlaceBuilder` ICE, Part 2

[nikomatsakis]

#88039 fixed #87987 but this issue still fails:

#![feature(capture_disjoint_fields)]

fn foo<MsU>(handler: impl FnOnce() -> MsU + Clone + 'static) {
    Box::new(move |value| {
        (|_| handler.clone()())(value);
        None
    }) as Box<dyn Fn(i32) -> Option<i32>>;
}

fn main() {}

Found trying to migrate seed 0.8.0.

Let me know if you need any more information.

Originally posted by @ehuss in #87987 (comment)

[nikomatsakis]

@rustbot assign @roxelo

[roxelo]

The culprit is https://github.com/rust-lang/rust/blame/master/compiler/rustc_mir_build/src/build/expr/into.rs#L268

[roxelo]

@arora-aman Let me know how I can provide assistance on this one

[roxelo]

@rustbot label +A-closures +A-edition-2021 +T-compiler +I-ICE

[arora-aman]

@rustbot claim

[arora-aman]

This seems like a similar problem as #87814. We end up at a point where we fail to determine type of a variable and end up returning early without possibly capturing.

[nikomatsakis]

@rustbot release-assignment