pub fn create_trait_from_unit_heads( name: TraitName, type_params: &Option<Loc<Vec<Loc<TypeParam>>>>, where_clauses: &[WhereClause], heads: &[Loc<UnitHead>], ctx: &mut Context, ) -> Result<()>