swift
Sema: Add debug code to check if certain predicates are transitive
#86356

Merged

Sema: Add debug code to check if certain predicates are transitive #86356

slavapestov merged 2 commits into swiftlang:main from slavapestov:check-if-transitive

slavapestov requested a review from

hborla 14 days ago

slavapestov requested a review from

xedin 14 days ago

slavapestov force pushed from 0c7a407e to 48e6e3f8 14 days ago

slavapestov commented on 2026-01-07

slavapestov changed the title ~~Sema: Add debug code to check if ConstraintSystem::selectDisjunction()'s predicate is transitive~~ Sema: Add debug code to check if certain predicates are transitive 14 days ago

Sema: Add debugging code to ConstraintSystem::selectDisjunction()

95769b59

Sema: Add some debugging code to findBestSolution()

808157b9

slavapestov force pushed from d23ac506 to 808157b9 14 days ago

slavapestov enabled auto-merge 14 days ago

slavapestov merged 7064e225 into main 13 days ago

Reviewers

hborla

xedin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift Sema: Add debug code to check if certain predicates are transitive #86356 Merged

Sema: Add debug code to check if certain predicates are transitive #86356

swift
Sema: Add debug code to check if certain predicates are transitive
#86356

Merged