diff options
Diffstat (limited to 'src/test/ui/traits/issue-78372.rs')
-rw-r--r-- | src/test/ui/traits/issue-78372.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/traits/issue-78372.rs b/src/test/ui/traits/issue-78372.rs new file mode 100644 index 000000000..92f9f4b46 --- /dev/null +++ b/src/test/ui/traits/issue-78372.rs @@ -0,0 +1,13 @@ +use std::ops::DispatchFromDyn; //~ ERROR use of unstable library feature 'dispatch_from_dyn' +struct Smaht<T, MISC>(PhantomData); //~ ERROR cannot find type `PhantomData` in this scope +impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {} //~ ERROR cannot find type `U` in this scope +//~^ ERROR cannot find type `MISC` in this scope +//~| ERROR use of unstable library feature 'dispatch_from_dyn' +//~| ERROR the trait `DispatchFromDyn` may only be implemented for a coercion between structures +trait Foo: X<u32> {} +trait X<T> { + fn foo(self: Smaht<Self, T>); +} +trait Marker {} +impl Marker for dyn Foo {} +fn main() {} |