mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-26 08:44:35 +00:00
Auto merge of #105622 - matthiaskrgr:rollup-a6i81q7, r=matthiaskrgr
Rollup of 8 pull requests Successful merges: - #104405 (1.66.0 release notes) - #105561 (Normalize receiver substs and erase the regions) - #105593 (Fix typo in comment: length_limit) - #105597 (Correct typos in `core::sync::Exclusive::get_{pin_mut, mut}`) - #105614 (delete mentions of type ascription from lint descriptions) - #105615 (Fixup method doc that mentions removed param) - #105616 (Add a "the" to proc_macro documentation) - #105619 (rustdoc: remove no-op CSS `.source pre { overflow: auto }`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
This commit is contained in:
commit
ed9749324a
91
RELEASES.md
91
RELEASES.md
@ -1,3 +1,94 @@
|
||||
Version 1.66.0 (2022-12-15)
|
||||
==========================
|
||||
|
||||
Language
|
||||
--------
|
||||
- [Permit specifying explicit discriminants on all `repr(Int)` enums](https://github.com/rust-lang/rust/pull/95710/)
|
||||
```rust
|
||||
#[repr(u8)]
|
||||
enum Foo {
|
||||
A(u8) = 0,
|
||||
B(i8) = 1,
|
||||
C(bool) = 42,
|
||||
}
|
||||
```
|
||||
- [Allow transmutes between the same type differing only in lifetimes](https://github.com/rust-lang/rust/pull/101520/)
|
||||
- [Change constant evaluation errors from a deny-by-default lint to a hard error](https://github.com/rust-lang/rust/pull/102091/)
|
||||
- [Trigger `must_use` on `impl Trait` for supertraits](https://github.com/rust-lang/rust/pull/102287/)
|
||||
This makes `impl ExactSizeIterator` respect the existing `#[must_use]` annotation on `Iterator`.
|
||||
- [Allow `..X` and `..=X` in patterns](https://github.com/rust-lang/rust/pull/102275/)
|
||||
- [Uplift `clippy::for_loops_over_fallibles` lint into rustc](https://github.com/rust-lang/rust/pull/99696/)
|
||||
- [Stabilize `sym` operands in inline assembly](https://github.com/rust-lang/rust/pull/103168/)
|
||||
- [Update to Unicode 15](https://github.com/rust-lang/rust/pull/101912/)
|
||||
- [Opaque types no longer imply lifetime bounds](https://github.com/rust-lang/rust/pull/95474/)
|
||||
This is a soundness fix which may break code that was erroneously relying on this behavior.
|
||||
|
||||
Compiler
|
||||
--------
|
||||
- [Add armv5te-none-eabi and thumbv5te-none-eabi tier 3 targets](https://github.com/rust-lang/rust/pull/101329/)
|
||||
- Refer to Rust's [platform support page][platform-support-doc] for more
|
||||
information on Rust's tiered platform support.
|
||||
- [Add support for linking against macOS universal libraries](https://github.com/rust-lang/rust/pull/98736)
|
||||
|
||||
Libraries
|
||||
---------
|
||||
- [Fix `#[derive(Default)]` on a generic `#[default]` enum adding unnecessary `Default` bounds](https://github.com/rust-lang/rust/pull/101040/)
|
||||
- [Update to Unicode 15](https://github.com/rust-lang/rust/pull/101821/)
|
||||
|
||||
Stabilized APIs
|
||||
---------------
|
||||
|
||||
- [`proc_macro::Span::source_text`](https://doc.rust-lang.org/stable/proc_macro/struct.Span.html#method.source_text)
|
||||
- [`uX::{checked_add_signed, overflowing_add_signed, saturating_add_signed, wrapping_add_signed}`](https://doc.rust-lang.org/stable/std/primitive.u8.html#method.checked_add_signed)
|
||||
- [`iX::{checked_add_unsigned, overflowing_add_unsigned, saturating_add_unsigned, wrapping_add_unsigned}`](https://doc.rust-lang.org/stable/std/primitive.i8.html#method.checked_add_unsigned)
|
||||
- [`iX::{checked_sub_unsigned, overflowing_sub_unsigned, saturating_sub_unsigned, wrapping_sub_unsigned}`](https://doc.rust-lang.org/stable/std/primitive.i8.html#method.checked_sub_unsigned)
|
||||
- [`BTreeSet::{first, last, pop_first, pop_last}`](https://doc.rust-lang.org/stable/std/collections/struct.BTreeSet.html#method.first)
|
||||
- [`BTreeMap::{first_key_value, last_key_value, first_entry, last_entry, pop_first, pop_last}`](https://doc.rust-lang.org/stable/std/collections/struct.BTreeMap.html#method.first_key_value)
|
||||
- [Add `AsFd` implementations for stdio lock types on WASI.](https://github.com/rust-lang/rust/pull/101768/)
|
||||
- [`impl TryFrom<Vec<T>> for Box<[T; N]>`](https://doc.rust-lang.org/stable/std/boxed/struct.Box.html#impl-TryFrom%3CVec%3CT%2C%20Global%3E%3E-for-Box%3C%5BT%3B%20N%5D%2C%20Global%3E)
|
||||
- [`core::hint::black_box`](https://doc.rust-lang.org/stable/std/hint/fn.black_box.html)
|
||||
- [`Duration::try_from_secs_{f32,f64}`](https://doc.rust-lang.org/stable/std/time/struct.Duration.html#method.try_from_secs_f32)
|
||||
- [`Option::unzip`](https://doc.rust-lang.org/stable/std/option/enum.Option.html#method.unzip)
|
||||
- [`std::os::fd`](https://doc.rust-lang.org/stable/std/os/fd/index.html)
|
||||
|
||||
|
||||
Rustdoc
|
||||
-------
|
||||
|
||||
- [Add Rustdoc warning for invalid HTML tags in the documentation](https://github.com/rust-lang/rust/pull/101720/)
|
||||
|
||||
Cargo
|
||||
-----
|
||||
|
||||
- [Added `cargo remove` to remove dependencies from Cargo.toml](https://doc.rust-lang.org/nightly/cargo/commands/cargo-remove.html)
|
||||
- [`cargo publish` now waits for the new version to be downloadable before exiting](https://github.com/rust-lang/cargo/pull/11062)
|
||||
|
||||
See [detailed release notes](https://github.com/rust-lang/cargo/blob/master/CHANGELOG.md#cargo-166-2022-12-15) for more.
|
||||
|
||||
Compatibility Notes
|
||||
-------------------
|
||||
|
||||
- [Only apply `ProceduralMasquerade` hack to older versions of `rental`](https://github.com/rust-lang/rust/pull/94063/)
|
||||
- [Don't export `__heap_base` and `__data_end` on wasm32-wasi.](https://github.com/rust-lang/rust/pull/102385/)
|
||||
- [Don't export `__wasm_init_memory` on WebAssembly.](https://github.com/rust-lang/rust/pull/102426/)
|
||||
- [Only export `__tls_*` on wasm32-unknown-unknown.](https://github.com/rust-lang/rust/pull/102440/)
|
||||
- [Don't link to `libresolv` in libstd on Darwin](https://github.com/rust-lang/rust/pull/102766/)
|
||||
- [Update libstd's libc to 0.2.135 (to make `libstd` no longer pull in `libiconv.dylib` on Darwin)](https://github.com/rust-lang/rust/pull/103277/)
|
||||
- [Opaque types no longer imply lifetime bounds](https://github.com/rust-lang/rust/pull/95474/)
|
||||
This is a soundness fix which may break code that was erroneously relying on this behavior.
|
||||
- [Make `order_dependent_trait_objects` show up in future-breakage reports](https://github.com/rust-lang/rust/pull/102635/)
|
||||
- [Change std::process::Command spawning to default to inheriting the parent's signal mask](https://github.com/rust-lang/rust/pull/101077/)
|
||||
|
||||
Internal Changes
|
||||
----------------
|
||||
|
||||
These changes do not affect any public interfaces of Rust, but they represent
|
||||
significant improvements to the performance or internals of rustc and related
|
||||
tools.
|
||||
|
||||
- [Enable BOLT for LLVM compilation](https://github.com/rust-lang/rust/pull/94381/)
|
||||
- [Enable LTO for rustc_driver.so](https://github.com/rust-lang/rust/pull/101403/)
|
||||
|
||||
Version 1.65.0 (2022-11-03)
|
||||
==========================
|
||||
|
||||
|
@ -911,8 +911,7 @@ declare_lint! {
|
||||
|
||||
declare_lint! {
|
||||
/// The `trivial_casts` lint detects trivial casts which could be replaced
|
||||
/// with coercion, which may require [type ascription] or a temporary
|
||||
/// variable.
|
||||
/// with coercion, which may require a temporary variable.
|
||||
///
|
||||
/// ### Example
|
||||
///
|
||||
@ -934,12 +933,14 @@ declare_lint! {
|
||||
/// with FFI interfaces or complex type aliases, where it triggers
|
||||
/// incorrectly, or in situations where it will be more difficult to
|
||||
/// clearly express the intent. It may be possible that this will become a
|
||||
/// warning in the future, possibly with [type ascription] providing a
|
||||
/// convenient way to work around the current issues. See [RFC 401] for
|
||||
/// historical context.
|
||||
/// warning in the future, possibly with an explicit syntax for coercions
|
||||
/// providing a convenient way to work around the current issues.
|
||||
/// See [RFC 401 (coercions)][rfc-401], [RFC 803 (type ascription)][rfc-803] and
|
||||
/// [RFC 3307 (remove type ascription)][rfc-3307] for historical context.
|
||||
///
|
||||
/// [type ascription]: https://github.com/rust-lang/rust/issues/23416
|
||||
/// [RFC 401]: https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md
|
||||
/// [rfc-401]: https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md
|
||||
/// [rfc-803]: https://github.com/rust-lang/rfcs/blob/master/text/0803-type-ascription.md
|
||||
/// [rfc-3307]: https://github.com/rust-lang/rfcs/blob/master/text/3307-de-rfc-type-ascription.md
|
||||
pub TRIVIAL_CASTS,
|
||||
Allow,
|
||||
"detects trivial casts which could be removed"
|
||||
@ -967,12 +968,14 @@ declare_lint! {
|
||||
/// with FFI interfaces or complex type aliases, where it triggers
|
||||
/// incorrectly, or in situations where it will be more difficult to
|
||||
/// clearly express the intent. It may be possible that this will become a
|
||||
/// warning in the future, possibly with [type ascription] providing a
|
||||
/// convenient way to work around the current issues. See [RFC 401] for
|
||||
/// historical context.
|
||||
/// warning in the future, possibly with an explicit syntax for coercions
|
||||
/// providing a convenient way to work around the current issues.
|
||||
/// See [RFC 401 (coercions)][rfc-401], [RFC 803 (type ascription)][rfc-803] and
|
||||
/// [RFC 3307 (remove type ascription)][rfc-3307] for historical context.
|
||||
///
|
||||
/// [type ascription]: https://github.com/rust-lang/rust/issues/23416
|
||||
/// [RFC 401]: https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md
|
||||
/// [rfc-401]: https://github.com/rust-lang/rfcs/blob/master/text/0401-coercions.md
|
||||
/// [rfc-803]: https://github.com/rust-lang/rfcs/blob/master/text/0803-type-ascription.md
|
||||
/// [rfc-3307]: https://github.com/rust-lang/rfcs/blob/master/text/3307-de-rfc-type-ascription.md
|
||||
pub TRIVIAL_NUMERIC_CASTS,
|
||||
Allow,
|
||||
"detects trivial casts of numeric types which could be removed"
|
||||
|
@ -1010,7 +1010,7 @@ fn foo(&self) -> Self::T { String::new() }
|
||||
}
|
||||
let mut short;
|
||||
loop {
|
||||
// Look for the longest properly trimmed path that still fits in lenght_limit.
|
||||
// Look for the longest properly trimmed path that still fits in length_limit.
|
||||
short = with_forced_trimmed_paths!(
|
||||
FmtPrinter::new_with_limit(
|
||||
self,
|
||||
|
@ -6,10 +6,8 @@ use rustc_middle::thir::*;
|
||||
|
||||
impl<'a, 'tcx> Builder<'a, 'tcx> {
|
||||
/// Builds a block of MIR statements to evaluate the THIR `expr`.
|
||||
/// If the original expression was an AST statement,
|
||||
/// (e.g., `some().code(&here());`) then `opt_stmt_span` is the
|
||||
/// span of that statement (including its semicolon, if any).
|
||||
/// The scope is used if a statement temporary must be dropped.
|
||||
///
|
||||
/// The `statement_scope` is used if a statement temporary must be dropped.
|
||||
pub(crate) fn stmt_expr(
|
||||
&mut self,
|
||||
mut block: BasicBlock,
|
||||
|
@ -44,7 +44,13 @@ fn inner_resolve_instance<'tcx>(
|
||||
|
||||
let result = if let Some(trait_def_id) = tcx.trait_of_item(def.did) {
|
||||
debug!(" => associated item, attempting to find impl in param_env {:#?}", param_env);
|
||||
resolve_associated_item(tcx, def.did, param_env, trait_def_id, substs)
|
||||
resolve_associated_item(
|
||||
tcx,
|
||||
def.did,
|
||||
param_env,
|
||||
trait_def_id,
|
||||
tcx.normalize_erasing_regions(param_env, substs),
|
||||
)
|
||||
} else {
|
||||
let ty = tcx.type_of(def.def_id_for_type_of());
|
||||
let item_type = tcx.subst_and_normalize_erasing_regions(substs, param_env, ty);
|
||||
|
@ -138,7 +138,7 @@ impl<T: ?Sized> Exclusive<T> {
|
||||
unsafe { Pin::new_unchecked(&mut self.get_unchecked_mut().inner) }
|
||||
}
|
||||
|
||||
/// Build a _mutable_ references to an `Exclusive<T>` from
|
||||
/// Build a _mutable_ reference to an `Exclusive<T>` from
|
||||
/// a _mutable_ reference to a `T`. This allows you to skip
|
||||
/// building an `Exclusive` with [`Exclusive::new`].
|
||||
#[unstable(feature = "exclusive_wrapper", issue = "98407")]
|
||||
@ -149,7 +149,7 @@ impl<T: ?Sized> Exclusive<T> {
|
||||
unsafe { &mut *(r as *mut T as *mut Exclusive<T>) }
|
||||
}
|
||||
|
||||
/// Build a _pinned mutable_ references to an `Exclusive<T>` from
|
||||
/// Build a _pinned mutable_ reference to an `Exclusive<T>` from
|
||||
/// a _pinned mutable_ reference to a `T`. This allows you to skip
|
||||
/// building an `Exclusive` with [`Exclusive::new`].
|
||||
#[unstable(feature = "exclusive_wrapper", issue = "98407")]
|
||||
|
@ -1493,7 +1493,7 @@ pub mod tracked_env {
|
||||
use std::ffi::OsStr;
|
||||
|
||||
/// Retrieve an environment variable and add it to build dependency info.
|
||||
/// Build system executing the compiler will know that the variable was accessed during
|
||||
/// The build system executing the compiler will know that the variable was accessed during
|
||||
/// compilation, and will be able to rerun the build when the value of that variable changes.
|
||||
/// Besides the dependency tracking this function should be equivalent to `env::var` from the
|
||||
/// standard library, except that the argument must be UTF-8.
|
||||
|
@ -523,7 +523,6 @@ ul.block, .block li {
|
||||
}
|
||||
|
||||
.source .content pre.rust {
|
||||
overflow: auto;
|
||||
padding-left: 0;
|
||||
}
|
||||
|
||||
|
59
src/test/ui/associated-item/issue-105449.rs
Normal file
59
src/test/ui/associated-item/issue-105449.rs
Normal file
@ -0,0 +1,59 @@
|
||||
// check-pass
|
||||
// compile-flags: -C debug_assertions=yes -Zunstable-options
|
||||
|
||||
#[allow(dead_code)]
|
||||
fn problematic_function<Space>()
|
||||
where
|
||||
DefaultAlloc: FinAllok<R1, Space>,
|
||||
{
|
||||
let e = Edge2dElement;
|
||||
let _ = Into::<Point>::into(e.map_reference_coords());
|
||||
}
|
||||
impl<N> Allocator<N, R0> for DefaultAlloc {
|
||||
type Buffer = MStorage;
|
||||
}
|
||||
impl<N> Allocator<N, R1> for DefaultAlloc {
|
||||
type Buffer = MStorage;
|
||||
}
|
||||
impl<N, D> From<VectorN<N, D>> for Point
|
||||
where
|
||||
DefaultAlloc: Allocator<N, D>,
|
||||
{
|
||||
fn from(_: VectorN<N, D>) -> Self {
|
||||
unimplemented!()
|
||||
}
|
||||
}
|
||||
impl<GeometryDim, NodalDim> FinAllok<GeometryDim, NodalDim> for DefaultAlloc
|
||||
where
|
||||
DefaultAlloc: Allocator<Ure, GeometryDim>,
|
||||
DefaultAlloc: Allocator<Ure, NodalDim>
|
||||
{
|
||||
}
|
||||
impl FiniteElement<R1> for Edge2dElement {
|
||||
fn map_reference_coords(&self) -> VectorN<Ure, R1> {
|
||||
unimplemented!()
|
||||
}
|
||||
}
|
||||
type VectorN<N, R> = (N, R, <DefaultAlloc as Allocator<N, R>>::Buffer);
|
||||
struct DefaultAlloc;
|
||||
struct R0;
|
||||
struct R1;
|
||||
struct MStorage;
|
||||
struct Point;
|
||||
struct Edge2dElement;
|
||||
struct Ure;
|
||||
trait Allocator<N, R> {
|
||||
type Buffer;
|
||||
}
|
||||
trait FinAllok<GeometryDim, NodalDim>:
|
||||
Allocator<Ure, GeometryDim> +
|
||||
Allocator<Ure, NodalDim> +
|
||||
{
|
||||
}
|
||||
trait FiniteElement<Rau>
|
||||
where
|
||||
DefaultAlloc: FinAllok<Rau, Rau>,
|
||||
{
|
||||
fn map_reference_coords(&self) -> VectorN<Ure, Rau>;
|
||||
}
|
||||
fn main() {}
|
Loading…
Reference in New Issue
Block a user