Searched refs:AllowAssumptions (Results 1 – 1 of 1) sorted by relevance
368 bool TryUnify, bool AllowAssumptions) { in diff() argument372 const AssumptionContext *AC = AllowAssumptions ? &ACValue : nullptr; in diff()