We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9f7e997 commit a0985fcCopy full SHA for a0985fc
src/test/ui/hrtb/hrtb-just-for-static.rs
@@ -28,7 +28,7 @@ fn give_static() {
28
want_hrtb::<StaticInt>() //~ ERROR
29
}
30
31
-// AnyInt implements Foo<&'a isize> for any 'a, so it is a match.
+// &'a u32 only implements Foo<&'a isize> for specific 'a, so it is an error.
32
impl<'a> Foo<&'a isize> for &'a u32 { }
33
fn give_some<'a>() {
34
want_hrtb::<&'a u32>()
0 commit comments