#![feature(inherent_associated_types)]
#![allow(incomplete_features, dead_code)]
#![deny(non_camel_case_types)]

struct S;

impl S {
    type typ = ();
    //~^ ERROR associated type `typ` should have an upper camel case name
}

fn main() {}