about summary refs log tree commit diff
path: root/tests/rustdoc-ui/coverage/json.stdout
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-03-22 22:44:43 +0100
committerGitHub <noreply@github.com>2023-03-22 22:44:43 +0100
commit28b9354bf6be5ee6a7d8b1a95b3837230ca193c3 (patch)
tree52210bbd8d41fa631768b24511f1cda86f7649d4 /tests/rustdoc-ui/coverage/json.stdout
parentb22db3fca47580fff95bbb029f6199dae938afcf (diff)
parentf86b0358f81aa67ff5ca8abf90935226fcab4f40 (diff)
downloadrust-28b9354bf6be5ee6a7d8b1a95b3837230ca193c3.tar.gz
rust-28b9354bf6be5ee6a7d8b1a95b3837230ca193c3.zip
Rollup merge of #109447 - lcnr:coherence, r=compiler-errors
new solver cleanup + implement coherence

the cleanup:
- change `Certainty::unify_and` to consider ambig + overflow to be ambig
- rename `trait_candidate_should_be_dropped_in_favor_of` to `candidate_should_be_dropped_in_favor_of`
- remove outdated fixme

For coherence I mostly just add an ambiguous candidate if the current trait ref is unknowable. I am doing the same for reservation impl where I also just add an ambiguous candidate.
Diffstat (limited to 'tests/rustdoc-ui/coverage/json.stdout')
0 files changed, 0 insertions, 0 deletions