Skip to content
Closed

do not allow inference in `predicate_must_hold`#109558
lcnr wants to merge 2 commits intorust-lang:masterfrom lcnr:predicate_must_hold-no-infer

do not allow inference in predicate_must_hold#109558

Closed
lcnr wants to merge 2 commits intorust-lang:masterfrom lcnr:predicate_must_hold-no-infer

Commits

Commits on Mar 24, 2023