]> git.proxmox.com Git - rustc.git/blobdiff - src/test/ui/traits/trait-object-with-self-in-projection-output-good.rs
Merge tag 'debian/1.52.1+dfsg1-1_exp2' into proxmox/buster
[rustc.git] / src / test / ui / traits / trait-object-with-self-in-projection-output-good.rs
diff --git a/src/test/ui/traits/trait-object-with-self-in-projection-output-good.rs b/src/test/ui/traits/trait-object-with-self-in-projection-output-good.rs
deleted file mode 100644 (file)
index d1b7bf6..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-// build-pass (FIXME(62277): could be check-pass?)
-
-// Regression test related to #56288. Check that a supertrait projection (of
-// `Output`) that references `Self` can be ok if it is referencing a projection (of
-// `Self::Target`, in this case). Note that we still require the user to manually
-// specify both `Target` and `Output` for now.
-
-trait Base {
-    type Output;
-}
-
-trait Helper: Base<Output=<Self as Helper>::Target> {
-    type Target;
-}
-
-impl Base for u32
-{
-    type Output = i32;
-}
-
-impl Helper for u32
-{
-    type Target = i32;
-}
-
-fn main() {
-    let _x: Box<dyn Helper<Target=i32, Output=i32>> = Box::new(2u32);
-}