Skip to content

Propagate recursion depth in collect_predicates_for_types#111736

Closed
matthewjasper wants to merge 1 commit intorust-lang:masterfrom
matthewjasper:keep-recursion-depth
Closed

Propagate recursion depth in collect_predicates_for_types#111736
matthewjasper wants to merge 1 commit intorust-lang:masterfrom
matthewjasper:keep-recursion-depth

Commits

Commits on May 18, 2023