#![feature(auto_traits)]
//@ pp-exact
auto trait MyTrait {}
unsafe auto trait UnsafeMyTrait {}
pub fn main() {}