2018-07-28 17:34:52 +02:00
|
|
|
#![warn(clippy::builtin_type_shadow)]
|
2018-12-25 22:11:28 +01:00
|
|
|
#![allow(non_camel_case_types)]
|
2016-08-28 01:52:01 +02:00
|
|
|
|
2017-02-08 14:58:07 +01:00
|
|
|
fn foo<u32>(a: u32) -> u32 {
|
|
|
|
42
|
2016-08-28 01:52:01 +02:00
|
|
|
// ^ rustc's type error
|
|
|
|
}
|
|
|
|
|
2018-12-09 23:26:16 +01:00
|
|
|
fn main() {}
|