diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/type/type-check/point-at-inference.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/ui/type/type-check/point-at-inference.rs b/tests/ui/type/type-check/point-at-inference.rs new file mode 100644 index 000000000..5c46dd4ed --- /dev/null +++ b/tests/ui/type/type-check/point-at-inference.rs @@ -0,0 +1,12 @@ +fn bar(_: Vec<i32>) {} +fn baz(_: &impl std::any::Any) {} +fn main() { + let v = vec![1, 2, 3, 4, 5]; + let mut foo = vec![]; + baz(&foo); + for i in &v { + foo.push(i); + } + baz(&foo); + bar(foo); //~ ERROR E0308 +} |