pub fn get_or_create_trait( block: &Loc<ImplBlock>, impl_block_id: ImplID, ctx: &mut Context, ) -> Result<(TraitName, Loc<TraitSpec>)>