Skip to content

add test for assoc type norm wf check#148783

Merged
bors merged 1 commit intorust-lang:mainfrom
lcnr:add-soundness-test
Nov 11, 2025
Merged

add test for assoc type norm wf check#148783
bors merged 1 commit intorust-lang:mainfrom
lcnr:add-soundness-test

Commits

Commits on Nov 11, 2025