diff options
Diffstat (limited to 'tests/ui/type/type-check/point-at-inference-issue-116155.rs')
-rw-r--r-- | tests/ui/type/type-check/point-at-inference-issue-116155.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/ui/type/type-check/point-at-inference-issue-116155.rs b/tests/ui/type/type-check/point-at-inference-issue-116155.rs new file mode 100644 index 000000000..1e9942d42 --- /dev/null +++ b/tests/ui/type/type-check/point-at-inference-issue-116155.rs @@ -0,0 +1,17 @@ +struct S<T>(T); + +impl<T> S<T> { + fn new() -> Self { + loop {} + } + + fn constrain<F: Fn() -> T>(&self, _f: F) {} +} + +fn main() { + let s = S::new(); + let c = || true; + s.constrain(c); + let _: S<usize> = s; + //~^ ERROR mismatched types +} |