#![feature(auto_traits)]

//@ pp-exact

auto trait MyTrait {}

unsafe auto trait UnsafeMyTrait {}

pub fn main() {}