Dylan DPC dfbedf5692

Rollup merge of #97967 - BoxyUwU:at_docs_mention_trace, r=compiler-errors ...

Mention `infer::Trace` methods on `infer::At` methods' docs

I missed that you could do `infcx.at(...).trace(...).eq(a, b)` when `a` and `b` dont implement `ToTrace` but does implement `Relate` these docs would have helped see that 😅

2022-06-11 07:42:16 +02:00

..

src

Rollup merge of #97967 - BoxyUwU:at_docs_mention_trace, r=compiler-errors

2022-06-11 07:42:16 +02:00

Cargo.toml

…