src/test/ui/typeck/auxiliary/tdticc_coherence_lib.rs

#![feature(optin_builtin_traits, core)]
#![crate_type = "rlib"]

pub auto trait DefaultedTrait { }

pub struct Something<T> { t: T }