type A where 'a; //~ ERROR expected `:`, found `;`

fn main() {}