tests/ui/typeck/issue-103899.rs

   1 // check-fail
   2 // failure-status: 101
   3 // dont-check-compiler-stderr
   4 // known-bug: #103899
   5
   6 trait BaseWithAssoc {
   7     type Assoc;
   8 }
   9
  10 trait WrapperWithAssoc {
  11     type BaseAssoc: BaseWithAssoc;
  12 }
  13
  14 struct Wrapper<B> {
  15     inner: B,
  16 }
  17
  18 struct ProjectToBase<T: BaseWithAssoc> {
  19     data_type_h: T::Assoc,
  20 }
  21
  22 struct DoubleProject<L: WrapperWithAssoc> {
  23     buffer: Wrapper<ProjectToBase<L::BaseAssoc>>,
  24 }
  25
  26 fn trigger<L: WrapperWithAssoc<BaseAssoc = ()>>() -> DoubleProject<L> {
  27     loop {}
  28 }
  29
  30 fn main() {}