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 /tests/rustdoc-js-std/parser-errors.js | |
| parent | 37b40e471a62425cb34781bad763b5cb5047f13c (diff) | |
| download | rust-c6a17bf8bcfa60c8b0436251d2cf70d8eca4d198.tar.gz | |
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 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions