Auto merge of #103590 - compiler-errors:ocx-more, r=lcnr · RalfJung/miri@c143193 · GitHub

Commit

Auto merge of #103590 - compiler-errors:ocx-more, r=lcnr

Browse files

(almost) Always use `ObligationCtxt` when dealing with canonical queries

Hope this is a step in the right direction. cc rust-lang/types-team#50.

r? `@lcnr`

Loading branch information

bors committed Nov 1, 2022

2 parents f8feb1b + 7ee4a9b commit c143193