bors be8e5ba157 Auto merge of #109917 - compiler-errors:remove-relation-methods, r=oli-obk ...

Remove `intercrate` and `mark_ambiguous` from `TypeRelation`

Fixes #109863

Pulls this logic into `super_combine_tys`, which has access to `InferCtxt` and takes a `ObligationEmittingRelation` -- both of which simplify the logic here.

r? `@oli-obk` `@aliemjay`

2023-04-04 11:08:23 +00:00

..

solve

Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkin

2023-03-31 03:36:18 +00:00

traits

Auto merge of #109917 - compiler-errors:remove-relation-methods, r=oli-obk

2023-04-04 11:08:23 +00:00

errors.rs

errors: generate typed identifiers in each crate

2023-02-22 09:15:53 +00:00

infer.rs

remove some trait solver helpers

2023-03-21 09:57:20 +01:00

lib.rs

Simplify message paths

2023-03-11 22:51:57 +01:00