about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJubilee <46493976+workingjubilee@users.noreply.github.com>2024-06-12 03:57:26 -0700
committerGitHub <noreply@github.com>2024-06-12 03:57:26 -0700
commit0a5284917b26496f608bff8737f32fa1b502b3d5 (patch)
tree6e8f2b82f04dbb135a90778f6c2000b4e27e2923
parent6f4f405c396159a33bf98f2e7ccf638d49542e9d (diff)
parentbbc55091bb05c11d6770de3e396d81b6221de8d0 (diff)
downloadrust-0a5284917b26496f608bff8737f32fa1b502b3d5.tar.gz
rust-0a5284917b26496f608bff8737f32fa1b502b3d5.zip
Rollup merge of #126314 - lcnr:fix-relnotes, r=pietroalbini
fix RELEASES: we do not support upcasting to auto traits

#119338 does not actually support casts from `dyn Trait` to `dyn Auto`, only from `dyn Trait` to `dyn Trait + Auto`. The following test does not compile

```rust
trait Trait: Send {}
impl<T: Send> Trait for T {}

fn foo() {
    let x: &i32 = &1;
    let y = x as &dyn Trait as &dyn Send;
}
```
it actually also doesn't compile with `feature(trait_upcasting)`, opened #126313 for that

r? `@Mark-Simulacrum` `@cuviper`
-rw-r--r--RELEASES.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/RELEASES.md b/RELEASES.md
index c1311ab14c5..2297924c7f3 100644
--- a/RELEASES.md
+++ b/RELEASES.md
@@ -147,7 +147,7 @@ Language
 - [Split `refining_impl_trait` lint into `_reachable`, `_internal` variants](https://github.com/rust-lang/rust/pull/121720/)
 - [Remove unnecessary type inference when using associated types inside of higher ranked `where`-bounds](https://github.com/rust-lang/rust/pull/119849)
 - [Weaken eager detection of cyclic types during type inference](https://github.com/rust-lang/rust/pull/119989)
-- [`trait Trait: Auto {}`: allow upcasting from `dyn Trait` to `dyn Auto`](https://github.com/rust-lang/rust/pull/119338)
+- [`trait Trait: Auto {}`: allow upcasting from `dyn Trait` to `dyn Trait + Auto`](https://github.com/rust-lang/rust/pull/119338)
 
 <a id="1.78.0-Compiler"></a>