Skip to content

remove sub_relations from the InferCtxt#119989

Merged
bors merged 5 commits intorust-lang:masterfrom
lcnr:sub_relations-bye-bye
Feb 22, 2024
Merged

remove `sub_relations` from the `InferCtxt`#119989
bors merged 5 commits intorust-lang:masterfrom
lcnr:sub_relations-bye-bye

Commits

Commits on Feb 22, 2024