blob: be161aeb53d48ce11d4e9ac3cd0677faeb225fb6 (
plain)
1
2
3
4
5
6
7
8
9
|
//! Tests invalid lifetime bounds and generic parameters in higher-ranked types.
type A = for<'b, 'a: 'b> fn(); //~ ERROR bounds cannot be used in this context
type B = for<'b, 'a: 'b,> fn(); //~ ERROR bounds cannot be used in this context
type C = for<'b, 'a: 'b +> fn(); //~ ERROR bounds cannot be used in this context
type D = for<'a, T> fn(); //~ ERROR only lifetime parameters can be used in this context
type E = dyn for<T, U> Fn(); //~ ERROR only lifetime parameters can be used in this context
fn main() {}
|
