tests/ui/traits/next-solver/opaques/overflow-hr-fn-trait-sized-2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

//@ ignore-compare-mode-next-solver
//@ compile-flags: -Znext-solver
//@ check-pass

// Regression test for trait-system-refactor-initiative#204, see
// the sibling test for more details.

fn constrain<'a, F: FnOnce(&'a ())>(_: F) {}
fn foo<'a>(_: &'a ()) -> impl Sized + use<'a> {
    constrain(foo);
    ()
}

fn main() {}