tests/ui/codegen/sub-principals-in-codegen.rs


1
2
3
4
5
6
7
8

//@ build-pass

// Regression test for an overly aggressive assertion in #130855.

fn main() {
    let subtype: &(dyn for<'a> Fn(&'a i32) -> &'a i32) = &|x| x;
    let supertype: &(dyn Fn(&'static i32) -> &'static i32) = subtype;
}