]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/nll/issue-54943-3.rs
2 // FIXME(#54943) This test targets the scenario where proving the WF requirements requires
3 // knowing the value of the `_` type present in the user type annotation - unfortunately, figuring
4 // out the value of that `_` requires type-checking the surrounding code, but that code is dead,
5 // so our NLL region checker doesn't have access to it. This test should actually fail to compile.
11 fn foo
<T
: '
static + Debug
>(_
: T
) { }
16 let _x
= foo
::<Vec
<_
>>(Vec
::<&'a
u32>::new());