diff options
Diffstat (limited to 'src/test/ui/wf/issue-103573.rs')
-rw-r--r-- | src/test/ui/wf/issue-103573.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/wf/issue-103573.rs b/src/test/ui/wf/issue-103573.rs deleted file mode 100644 index bcbf4f941..000000000 --- a/src/test/ui/wf/issue-103573.rs +++ /dev/null @@ -1,22 +0,0 @@ -trait TraitA { - type TypeA; -} - -trait TraitD { - type TypeD; -} - -pub trait TraitB { - type TypeB: TraitD; - - fn f(_: &<Self::TypeB as TraitD>::TypeD); -} - -pub trait TraitC<E> { - type TypeC<'a>: TraitB; - - fn g<'a>(_: &<<Self::TypeC<'a> as TraitB>::TypeB as TraitA>::TypeA); - //~^ ERROR the trait bound `<<Self as TraitC<E>>::TypeC<'a> as TraitB>::TypeB: TraitA` is not satisfied -} - -fn main() {} |