Merge "Handle primitive types in VerifierTypes::AddAssignability."