unconstrained-none

Author: Kivooeo

tests/ui/type-inference/type-inference-none-in-generic-ref.rs

@@ -1,5 +1,8 @@
-struct S<'a, T:'a> {
-    o: &'a Option<T>
+//! Checks that compiler prevent from using a reference
+//! to an unconstrained `None` in generic context
+
+struct S<'a, T: 'a> {
+    o: &'a Option<T>,
 }
 
 fn main() {

tests/ui/type-inference/type-inference-unconstrained-none.rs

@@ -1,4 +1,4 @@
-// Issue #5062
+//! Regression test for <https://github.com/rust-lang/rust/issues/5062>.
 
 fn main() {
     None; //~ ERROR type annotations needed [E0282]

tests/ui/type-inference/type-inference-unconstrained-none.stderr

@@ -1,5 +1,5 @@
 error[E0282]: type annotations needed
-  --> $DIR/unconstrained-none.rs:4:5
+  --> $DIR/type-inference-unconstrained-none.rs:4:5
    |
 LL |     None;
    |     ^^^^ cannot infer type of the type parameter `T` declared on the enum `Option`