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
12 fn parse(input: <Self as Parser>::Input) {
17 impl <P> Parser for P {