Attribute Macro use_type 

#[use_type]

#[use_type]
trait SomeTrait {
  type Ty: Default;
  fn get_ty() -> Self::Ty {
    Self::Ty::default()
  }
}