about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/errors.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-04-14 21:11:10 +0200
committerGitHub <noreply@github.com>2023-04-14 21:11:10 +0200
commit7bfccb3d7f413821b1fbeb044a2d35b3bf4a035e (patch)
tree5133abdbb6639c789b68f8c0fb97353e9d3a26cd /compiler/rustc_codegen_llvm/src/errors.rs
parent660c966ff941ddf995d3251df32508b383cd4cee (diff)
parent5cc475742151cd458091ca3c67598ddece3ee39b (diff)
downloadrust-7bfccb3d7f413821b1fbeb044a2d35b3bf4a035e.tar.gz
rust-7bfccb3d7f413821b1fbeb044a2d35b3bf4a035e.zip
Rollup merge of #108687 - compiler-errors:reformulate-point_at_expr_source_of_inferred_type, r=oli-obk
Reformulate `point_at_expr_source_of_inferred_type` to be more accurate

Be more accurate when deducing where along the several usages of a binding it is constrained to be some type that is incompatible with an expectation.

This also renames the method to `note_source_of_type_mismatch_constraint` because I prefer that name, though I guess I can revert that. (Also drive-by rename `note_result_coercion` -> `suggest_coercing_result_via_try_operator`, because it's suggesting, not noting!)

This PR is (probably?) best reviewed per commit, but it does regress a bit only to fix it later on, so it could also be reviewed as a whole if that makes the final results more clear.

r? `@estebank`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions