#![feature(auto_traits)]

pub auto trait AnAutoTrait {}