'Free regions in optimized MIR' ICE with const generics

[b-naber]

The following throws a 'Free regions in optimized MIR' ICE on master:

Code

#![feature(adt_const_params)]
#![feature(generic_const_exprs)]

fn foo<const B: &'static bool>(arg: &'static bool) -> bool {
  B == arg 
}

fn main() {
  foo::<{&true}>(&false);
}

backtrace.txt

[matthiaskrgr]

could be related to #89851