the_assoc_ty_ext (cargo): Canonical associated type (as in New Type idiom)
Keywords: type|associated