Searched defs:new_details (Results 1 – 2 of 2) sorted by relevance
2649 PropertyDetails new_details = new_descriptors->GetDetails(modify_index); in GeneralizeRepresentation() local2735 PropertyDetails new_details = new_descriptors->GetDetails(i); in TryUpdateInternal() local14930 PropertyDetails new_details = PropertyDetails( in GenerateNewEnumerationIndices() local
2974 QuickCheckDetails new_details(details->characters()); in GetQuickCheckDetails() local