summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/issue-63154-normalize.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/issue-63154-normalize.rs')
-rw-r--r--src/test/ui/nll/issue-63154-normalize.rs34
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/nll/issue-63154-normalize.rs b/src/test/ui/nll/issue-63154-normalize.rs
deleted file mode 100644
index 484c12879..000000000
--- a/src/test/ui/nll/issue-63154-normalize.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-// Regression test for rust-lang/rust#63154
-//
-// Before, we would ICE after failing to normalize the destination type
-// when checking call destinations and also when checking MIR
-// assignment statements.
-
-// check-pass
-
-trait HasAssocType {
- type Inner;
-}
-
-impl HasAssocType for () {
- type Inner = ();
-}
-
-trait Tr<I, T>: Fn(I) -> Option<T> {}
-impl<I, T, Q: Fn(I) -> Option<T>> Tr<I, T> for Q {}
-
-fn f<T: HasAssocType>() -> impl Tr<T, T::Inner> {
- |_| None
-}
-
-fn g<T, Y>(f: impl Tr<T, Y>) -> impl Tr<T, Y> {
- f
-}
-
-fn h() {
- g(f())(());
-}
-
-fn main() {
- h();
-}