3 #![deny(multiple_supertrait_upcastable)]
4 //~^ WARNING unknown lint: `multiple_supertrait_upcastable`
5 //~| WARNING unknown lint: `multiple_supertrait_upcastable`
6 //~| WARNING unknown lint: `multiple_supertrait_upcastable`
7 #![warn(multiple_supertrait_upcastable)]
8 //~^ WARNING unknown lint: `multiple_supertrait_upcastable`
9 //~| WARNING unknown lint: `multiple_supertrait_upcastable`
10 //~| WARNING unknown lint: `multiple_supertrait_upcastable`