check for recursive alias this in Type::deduceType