Skip to content

change unsatisfiable trivial bounds detection - #140313

Closed
lcnr wants to merge 1 commit into
rust-lang:mainfrom
lcnr:wf-normalize-first
Closed

change unsatisfiable trivial bounds detection#140313
lcnr wants to merge 1 commit into
rust-lang:mainfrom
lcnr:wf-normalize-first

change false trivial bounds detection, see PR descr

37f147e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs