Ali MJ Al-Nasrawy c6a17bf8bc 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"		2023-01-07 13:41:41 +03:00
..
adt-brace-enums.rs
adt-brace-enums.stderr
adt-brace-structs.rs
adt-brace-structs.stderr
adt-nullary-enums.rs
adt-nullary-enums.stderr
adt-tuple-enums.rs
adt-tuple-enums.stderr
adt-tuple-struct-calls.rs
adt-tuple-struct-calls.stderr
adt-tuple-struct.rs
adt-tuple-struct.stderr
ascribed-type-wf.rs	don't normalize in astconv	2023-01-07 13:38:38 +03:00
ascribed-type-wf.stderr	don't normalize in astconv	2023-01-07 13:38:38 +03:00
cast_static_lifetime.rs
cast_static_lifetime.stderr
closure-sig.rs	make ascribe_user_type a TypeOp	2023-01-07 13:41:41 +03:00
closure-substs.polonius.stderr
closure-substs.rs
closure-substs.stderr
constant-in-expr-inherent-1.rs
constant-in-expr-inherent-1.stderr
constant-in-expr-inherent-2.rs
constant-in-expr-inherent-2.stderr
constant-in-expr-normalize.rs
constant-in-expr-normalize.stderr
constant-in-expr-trait-item-1.rs
constant-in-expr-trait-item-1.stderr
constant-in-expr-trait-item-2.rs
constant-in-expr-trait-item-2.stderr
constant-in-expr-trait-item-3.rs
constant-in-expr-trait-item-3.stderr
downcast-infer.rs
dump-adt-brace-struct.rs	fix struct path	2023-01-07 13:38:39 +03:00
dump-adt-brace-struct.stderr	fix struct path	2023-01-07 13:38:39 +03:00
dump-fn-method.rs
dump-fn-method.stderr
fns.rs
fns.stderr
inherent-associated-constants.rs
inherent-associated-constants.stderr
issue-54124.rs
issue-54124.stderr
issue-54570-bootstrapping.rs
issue-55219.rs
issue-55241.rs
issue-55748-pat-types-constrain-bindings.rs
issue-55748-pat-types-constrain-bindings.stderr
issue-57731-ascibed-coupled-types.rs
issue-57731-ascibed-coupled-types.stderr
method-call.rs
method-call.stderr
method-ufcs-1.rs
method-ufcs-1.stderr
method-ufcs-2.rs
method-ufcs-2.stderr
method-ufcs-3.rs
method-ufcs-3.stderr
method-ufcs-inherent-1.rs
method-ufcs-inherent-1.stderr
method-ufcs-inherent-2.rs
method-ufcs-inherent-2.stderr
method-ufcs-inherent-3.rs
method-ufcs-inherent-3.stderr
method-ufcs-inherent-4.rs
method-ufcs-inherent-4.stderr
normalization-2.rs	fix method substs	2023-01-07 13:38:40 +03:00
normalization-2.stderr	fix method substs	2023-01-07 13:38:40 +03:00
normalization-infer.rs	make ascribe_user_type a TypeOp	2023-01-07 13:41:41 +03:00
normalization-infer.stderr	make ascribe_user_type a TypeOp	2023-01-07 13:41:41 +03:00
normalization.rs
normalization.stderr
normalize-self-ty.rs
pattern_substs_on_brace_enum_variant.rs
pattern_substs_on_brace_enum_variant.stderr
pattern_substs_on_brace_struct.rs
pattern_substs_on_brace_struct.stderr
pattern_substs_on_tuple_enum_variant.rs
pattern_substs_on_tuple_enum_variant.stderr
pattern_substs_on_tuple_struct.rs
pattern_substs_on_tuple_struct.stderr
patterns.rs
patterns.stderr
promoted-annotation.rs
promoted-annotation.stderr
type_ascription_static_lifetime.rs
type_ascription_static_lifetime.stderr
type-annotation-with-hrtb.rs
wf-self-type.rs
wf-self-type.stderr