src/test/ui/associated-types/associated-types-issue-21212.rs

   1 // run-pass
   2 #![allow(unused_variables)]
   3 // Regression test for #21212: an overflow occurred during trait
   4 // checking where normalizing `Self::Input` led to normalizing the
   5 // where clauses in the environment which in turn required normalizing
   6 // `Self::Input`.
   7
   8
   9 pub trait Parser {
  10     type Input;
  11
  12     fn parse(input: <Self as Parser>::Input) {
  13         panic!()
  14     }
  15 }
  16
  17 impl <P> Parser for P {
  18     type Input = ();
  19 }
  20
  21 fn main() {
  22 }