1 // This used to ICE because it creates an `impl Trait` that captures a
2 // hidden empty region.
6 fn server() -> impl FilterBase2 {
7 segment2(|| { loop { } }).map2(|| "")
11 fn map2<F>(self, _fn: F) -> Map2<F> where Self: Sized { loop { } }
14 struct Map2<F> { _func: F }
16 impl<F> FilterBase2 for Map2<F> { }
18 fn segment2<F>(_fn: F) -> Map2<F> where F: Fn() -> Result<(), ()> {
22 fn main() { server(); }