+previous set inferType
Stop care to linkage in matchType