diff options
| author | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2022-11-16 13:11:44 +0300 |
|---|---|---|
| committer | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2023-01-07 13:41:41 +0300 |
| commit | c6a17bf8bcfa60c8b0436251d2cf70d8eca4d198 (patch) | |
| tree | e52979baba2e361406595ae5ade5e2cd52600bc5 /compiler/rustc_interface/src/interface.rs | |
| parent | 37b40e471a62425cb34781bad763b5cb5047f13c (diff) | |
| download | rust-c6a17bf8bcfa60c8b0436251d2cf70d8eca4d198.tar.gz rust-c6a17bf8bcfa60c8b0436251d2cf70d8eca4d198.zip | |
make ascribe_user_type a TypeOp
Projection types in user annotations may contain inference variables. This makes the normalization depend on the unification with the actual type and thus requires a separate TypeOp to track the obligations. Otherwise simply calling `TypeChecker::normalize` would ICE with "unexpected ambiguity"
Diffstat (limited to 'compiler/rustc_interface/src/interface.rs')
0 files changed, 0 insertions, 0 deletions