dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
rust/tests/ui/traits/trait-upcasting
History
Manish Goregaokar 74c3794ece
Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errors 
merge `TypeChecker` and `TypeVerifier`

Stacked on top of #138354. Best reviewed commit by commit.

r? `@compiler-errors`
 		2025-03-12 10:19:31 -07:00
..
add-supertrait-auto-traits.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
alias-where-clause-isnt-supertrait.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
alias-where-clause-isnt-supertrait.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
basic.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
correct-supertrait-substitution.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
cyclic-trait-resolution.rs Merge collect_mod_item_types query into check_well_formed 2024-03-07 14:26:31 +00:00
cyclic-trait-resolution.stderr Merge collect_mod_item_types query into check_well_formed 2024-03-07 14:26:31 +00:00
deref-upcast-shadowing-lint.rs allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
deref-upcast-shadowing-lint.stderr allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
diamond.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
dyn-to-dyn-star.rs Check dyn flavor before registering upcast goal on wide pointer cast in MIR typeck 2025-03-01 18:11:17 +00:00
fewer-associated.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
higher-ranked-upcasting-ok.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
higher-ranked-upcasting-ub.current.stderr Check allow instantiating object trait binder when upcasting and in new solver 2024-09-26 22:26:29 -04:00
higher-ranked-upcasting-ub.next.stderr add tests 2024-03-14 17:45:13 +01:00
higher-ranked-upcasting-ub.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
illegal-upcast-from-impl.current.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
illegal-upcast-from-impl.next.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
illegal-upcast-from-impl.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
illegal-upcast-to-impl-opaque.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
impossible-method-modulo-binders-2.rs add note to test 2025-01-14 10:06:22 +01:00
impossible-method-modulo-binders.rs Leak check in impossible_predicates to avoid monomorphizing impossible instances 2025-01-14 01:51:16 +00:00
inference-behavior-change-deref.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
inference-behavior-change-deref.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
invalid-upcast.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
invalid-upcast.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
issue-11515-upcast-fn_mut-fn.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
issue-11515.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
lifetime.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
lifetime.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
migrate-lint-deny-regions.rs allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
migrate-lint-deny-regions.stderr allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
migrate-lint-different-substs.rs allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
migrate-lint-different-substs.stderr allow+update `deref_into_dyn_supertrait` 2025-02-06 23:44:24 +01:00
mono-impossible.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-occurrence-ambiguousity.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-occurrence-ambiguousity.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-supertraits-modulo-binder-vtable.rs More assertions, tests, and miri coverage 2025-01-30 17:44:28 +00:00
multiple-supertraits-modulo-binder-vtable.stderr More assertions, tests, and miri coverage 2025-01-30 17:44:28 +00:00
multiple-supertraits-modulo-binder.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-supertraits-modulo-binder.run.stdout Do not treat vtable supertraits as distinct when bound with different bound vars 2025-01-30 15:33:58 +00:00
multiple-supertraits-modulo-normalization-vtable.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-supertraits-modulo-normalization-vtable.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-supertraits-modulo-normalization.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
multiple-supertraits-modulo-normalization.run.stdout Normalize vtable entries before walking and deduplicating them 2025-01-30 15:34:00 +00:00
multiple_supertrait_upcastable.rs Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
multiple_supertrait_upcastable.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
normalization.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
prefer-lower-candidates.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
replace-vptr.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
replace-vptr.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
struct.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
sub.rs Check allow instantiating object trait binder when upcasting and in new solver 2024-09-26 22:26:29 -04:00
subtrait-method.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
subtrait-method.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
supertraits-modulo-inner-binder.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-1.current.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-1.next.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-1.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-2.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-2.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-3.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-3.stderr remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-4.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00
type-checking-test-4.stderr change `TypeChecker` to a MIR visitor 2025-03-11 16:08:53 +01:00
type-checking-test-opaques.rs Implement `#[define_opaque]` attribute for functions. 2025-03-11 12:05:02 +00:00
upcast-defining-opaque.rs Implement `#[define_opaque]` attribute for functions. 2025-03-11 12:05:02 +00:00
upcast-through-struct-tail.rs remove `feature(trait_upcasting)` from tests and bless them 2025-02-06 23:44:23 +01:00