rust/compiler/rustc_hir_analysis/src
bors b15e2c129e Auto merge of #101832 - compiler-errors:dyn-star-plus, r=eholk
Make `dyn*` casts into a coercion, allow `dyn*` upcasting

I know that `dyn*` is likely not going to be a feature exposed to surface Rust, but this makes it slightly more ergonomic to write tests for these types anyways. ... and this was just fun to implement anyways.

1. Make `dyn*` into a coercion instead of a cast
2. Enable `dyn*` upcasting since we basically get it for free
3. Simplify some of the cast checking code since we're using the coercion path now

r? `@eholk` but feel free to reassign
cc `@nikomatsakis` and `@tmandry` who might care about making `dyn*` casts into a coercion
2022-10-15 07:36:38 +00:00
..
astconv Change InferCtxtBuilder from enter to build 2022-10-07 07:10:40 -05:00
check Auto merge of #101832 - compiler-errors:dyn-star-plus, r=eholk 2022-10-15 07:36:38 +00:00
coherence Report duplicate definition in impls with overlap check. 2022-10-13 16:50:24 +00:00
collect Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errors 2022-10-13 22:39:05 +00:00
impl_wf_check Fix compiler docs 2022-10-10 18:28:29 +02:00
outlives rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00
structured_errors rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00
variance rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00
bounds.rs rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00
check_unused.rs Refactor rustc lint API 2022-10-01 10:03:06 +00:00
collect.rs add panic_fmt_nounwind for panicing without unwinding, and use it for panic_no_unwind 2022-10-11 22:47:31 +02:00
constrained_generic_params.rs Fix compiler docs 2022-10-10 18:28:29 +02:00
errors.rs errors: rename typeck.ftl to hir_analysis.ftl 2022-10-03 13:52:17 +01:00
expr_use_visitor.rs Make dyn* cast into a coercion 2022-10-14 04:27:01 +00:00
hir_wf_check.rs Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8Ki 2022-10-10 00:09:42 +09:00
impl_wf_check.rs Report duplicate definition in impls with overlap check. 2022-10-13 16:50:24 +00:00
lib.rs Change InferCtxtBuilder from enter to build 2022-10-07 07:10:40 -05:00
mem_categorization.rs Make dyn* cast into a coercion 2022-10-14 04:27:01 +00:00
structured_errors.rs rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00