summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs')
-rw-r--r--src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs30
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs b/src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs
deleted file mode 100644
index f67b07354..000000000
--- a/src/test/ui/mir/mir-inlining/ice-issue-100550-unnormalized-projection.rs
+++ /dev/null
@@ -1,30 +0,0 @@
-// This test verifies that we do not ICE due to MIR inlining in case of normalization failure
-// in a projection.
-//
-// compile-flags: --crate-type lib -C opt-level=3
-// build-pass
-
-pub trait Trait {
- type Associated;
-}
-impl<T> Trait for T {
- type Associated = T;
-}
-
-pub struct Struct<T>(<T as Trait>::Associated);
-
-pub fn foo<T>() -> Struct<T>
-where
- T: Trait,
-{
- bar()
-}
-
-#[inline]
-fn bar<T>() -> Struct<T> {
- Struct(baz())
-}
-
-fn baz<T>() -> T {
- unimplemented!()
-}