pub fn trait_impl(trait_impl: &ImplDef) -> ImplTrait