Auto merge of #62704 - Mark-Simulacrum:rollup-oi94s2j, r=Mark-Simulacrum
Rollup of 14 pull requests Successful merges: - #62103 (Add debug assertions to write_bytes and copy*) - #62405 (Remove never_type feature requirement for exhaustive patterns) - #62491 (Fix Pin urls in Option documentation) - #62533 (Add missing links for CannotReallocInPlace type) - #62634 (Less unsafe in the array example of MaybeUninit docs) - #62639 (Make VaListImpl<'f> invariant over the 'f lifetime) - #62646 (Tweak wording in feature gate errors) - #62662 (add spaces in front of trait requirements in libcore/cell.rs) - #62668 (Fix #62660) - #62673 (miri validation: better error messages for dangling references) - #62680 (Actually call `visit_block_entry` in `DataflowResultsConsumer`) - #62685 (Add info about undefined behavior to as_ref suggestions) - #62689 (Fix typo in RawWaker::new documentation) - #62698 (SGX target: don't pretend to be GNU/Linux to LLVM) Failed merges: r? @ghost
This commit is contained in:
bors
commit
02785dabad
38
Cargo.lock
38
Cargo.lock
|
|
@ -25,7 +25,7 @@ dependencies = [
|
|||
name = "alloc"
|
||||
version = "0.0.0"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
"rand 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rand_xorshift 0.1.0 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
|
|
@ -131,7 +131,7 @@ dependencies = [
|
|||
"autocfg 0.1.4 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"backtrace-sys 0.1.27 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"cfg-if 0.1.8 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-demangle 0.1.15 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
|
|
@ -143,7 +143,7 @@ version = "0.1.27"
|
|||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"cc 1.0.35 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
|
@ -373,7 +373,7 @@ name = "cfg-if"
|
|||
version = "0.1.8"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -502,7 +502,7 @@ dependencies = [
|
|||
|
||||
[[package]]
|
||||
name = "compiler_builtins"
|
||||
version = "0.1.16"
|
||||
version = "0.1.17"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"cc 1.0.35 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
|
|
@ -834,7 +834,7 @@ name = "dlmalloc"
|
|||
version = "0.1.3"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
|
@ -1008,7 +1008,7 @@ name = "fortanix-sgx-abi"
|
|||
version = "0.3.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -1199,7 +1199,7 @@ name = "hashbrown"
|
|||
version = "0.4.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-alloc 1.0.0",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
|
@ -2066,7 +2066,7 @@ dependencies = [
|
|||
name = "panic_abort"
|
||||
version = "0.0.0"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
]
|
||||
|
|
@ -2077,7 +2077,7 @@ version = "0.0.0"
|
|||
dependencies = [
|
||||
"alloc 0.0.0",
|
||||
"cfg-if 0.1.8 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"unwind 0.0.0",
|
||||
|
|
@ -2263,7 +2263,7 @@ name = "profiler_builtins"
|
|||
version = "0.0.0"
|
||||
dependencies = [
|
||||
"cc 1.0.35 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -2835,7 +2835,7 @@ name = "rustc-demangle"
|
|||
version = "0.1.15"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
dependencies = [
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"rustc-std-workspace-core 1.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -2941,7 +2941,7 @@ dependencies = [
|
|||
"alloc 0.0.0",
|
||||
"build_helper 0.1.0",
|
||||
"cmake 0.1.38 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -3160,7 +3160,7 @@ dependencies = [
|
|||
"alloc 0.0.0",
|
||||
"build_helper 0.1.0",
|
||||
"cmake 0.1.38 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -3223,7 +3223,7 @@ dependencies = [
|
|||
"alloc 0.0.0",
|
||||
"build_helper 0.1.0",
|
||||
"cmake 0.1.38 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -3341,7 +3341,7 @@ dependencies = [
|
|||
"alloc 0.0.0",
|
||||
"build_helper 0.1.0",
|
||||
"cmake 0.1.38 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
]
|
||||
|
||||
|
|
@ -3648,7 +3648,7 @@ dependencies = [
|
|||
"backtrace 0.3.29 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"cc 1.0.35 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"cfg-if 0.1.8 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
"dlmalloc 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"fortanix-sgx-abi 0.3.2 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
|
|
@ -4309,7 +4309,7 @@ version = "0.0.0"
|
|||
dependencies = [
|
||||
"cc 1.0.35 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"cfg-if 0.1.8 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
"core 0.0.0",
|
||||
"libc 0.2.54 (registry+https://github.com/rust-lang/crates.io-index)",
|
||||
]
|
||||
|
|
@ -4527,7 +4527,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
|
|||
"checksum colored 1.6.0 (registry+https://github.com/rust-lang/crates.io-index)" = "b0aa3473e85a3161b59845d6096b289bb577874cafeaf75ea1b1beaa6572c7fc"
|
||||
"checksum commoncrypto 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)" = "d056a8586ba25a1e4d61cb090900e495952c7886786fc55f909ab2f819b69007"
|
||||
"checksum commoncrypto-sys 0.2.0 (registry+https://github.com/rust-lang/crates.io-index)" = "1fed34f46747aa73dfaa578069fd8279d2818ade2b55f38f22a9401c7f4083e2"
|
||||
"checksum compiler_builtins 0.1.16 (registry+https://github.com/rust-lang/crates.io-index)" = "e79ed19793c99771b386d76e08c3419409bb3d418b81a8b8afc73524247461cf"
|
||||
"checksum compiler_builtins 0.1.17 (registry+https://github.com/rust-lang/crates.io-index)" = "ad9b4731b9e701aefe9e6bd1e9173f30526661508f9aaadaa5caec25ddf95585"
|
||||
"checksum compiletest_rs 0.3.22 (registry+https://github.com/rust-lang/crates.io-index)" = "f40ecc9332b68270998995c00f8051ee856121764a0d3230e64c9efd059d27b6"
|
||||
"checksum constant_time_eq 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)" = "8ff012e225ce166d4422e0e78419d901719760f62ae2b7969ca6b564d1b54a9e"
|
||||
"checksum core-foundation 0.6.3 (registry+https://github.com/rust-lang/crates.io-index)" = "4e2640d6d0bf22e82bed1b73c6aef8d5dd31e5abe6666c57e6d45e2649f4f887"
|
||||
|
|
|
|||
|
|
@ -359,9 +359,12 @@ impl fmt::Display for AllocErr {
|
|||
}
|
||||
}
|
||||
|
||||
/// The `CannotReallocInPlace` error is used when `grow_in_place` or
|
||||
/// `shrink_in_place` were unable to reuse the given memory block for
|
||||
/// The `CannotReallocInPlace` error is used when [`grow_in_place`] or
|
||||
/// [`shrink_in_place`] were unable to reuse the given memory block for
|
||||
/// a requested layout.
|
||||
///
|
||||
/// [`grow_in_place`]: ./trait.Alloc.html#method.grow_in_place
|
||||
/// [`shrink_in_place`]: ./trait.Alloc.html#method.shrink_in_place
|
||||
#[unstable(feature = "allocator_api", issue = "32838")]
|
||||
#[derive(Clone, PartialEq, Eq, Debug)]
|
||||
pub struct CannotReallocInPlace;
|
||||
|
|
|
|||
|
|
@ -290,7 +290,7 @@ impl<T:Copy> Clone for Cell<T> {
|
|||
}
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
impl<T:Default> Default for Cell<T> {
|
||||
impl<T: Default> Default for Cell<T> {
|
||||
/// Creates a `Cell<T>`, with the `Default` value for T.
|
||||
#[inline]
|
||||
fn default() -> Cell<T> {
|
||||
|
|
@ -299,7 +299,7 @@ impl<T:Default> Default for Cell<T> {
|
|||
}
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
impl<T:PartialEq + Copy> PartialEq for Cell<T> {
|
||||
impl<T: PartialEq + Copy> PartialEq for Cell<T> {
|
||||
#[inline]
|
||||
fn eq(&self, other: &Cell<T>) -> bool {
|
||||
self.get() == other.get()
|
||||
|
|
@ -307,10 +307,10 @@ impl<T:PartialEq + Copy> PartialEq for Cell<T> {
|
|||
}
|
||||
|
||||
#[stable(feature = "cell_eq", since = "1.2.0")]
|
||||
impl<T:Eq + Copy> Eq for Cell<T> {}
|
||||
impl<T: Eq + Copy> Eq for Cell<T> {}
|
||||
|
||||
#[stable(feature = "cell_ord", since = "1.10.0")]
|
||||
impl<T:PartialOrd + Copy> PartialOrd for Cell<T> {
|
||||
impl<T: PartialOrd + Copy> PartialOrd for Cell<T> {
|
||||
#[inline]
|
||||
fn partial_cmp(&self, other: &Cell<T>) -> Option<Ordering> {
|
||||
self.get().partial_cmp(&other.get())
|
||||
|
|
@ -338,7 +338,7 @@ impl<T:PartialOrd + Copy> PartialOrd for Cell<T> {
|
|||
}
|
||||
|
||||
#[stable(feature = "cell_ord", since = "1.10.0")]
|
||||
impl<T:Ord + Copy> Ord for Cell<T> {
|
||||
impl<T: Ord + Copy> Ord for Cell<T> {
|
||||
#[inline]
|
||||
fn cmp(&self, other: &Cell<T>) -> Ordering {
|
||||
self.get().cmp(&other.get())
|
||||
|
|
@ -1008,7 +1008,7 @@ impl<T: Clone> Clone for RefCell<T> {
|
|||
}
|
||||
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
impl<T:Default> Default for RefCell<T> {
|
||||
impl<T: Default> Default for RefCell<T> {
|
||||
/// Creates a `RefCell<T>`, with the `Default` value for T.
|
||||
#[inline]
|
||||
fn default() -> RefCell<T> {
|
||||
|
|
|
|||
|
|
@ -60,7 +60,10 @@ impl fmt::Debug for c_void {
|
|||
#[lang = "va_list"]
|
||||
pub struct VaListImpl<'f> {
|
||||
ptr: *mut c_void,
|
||||
_marker: PhantomData<&'f c_void>,
|
||||
|
||||
// Invariant over `'f`, so each `VaListImpl<'f>` object is tied to
|
||||
// the region of the function it's defined in
|
||||
_marker: PhantomData<&'f mut &'f c_void>,
|
||||
}
|
||||
|
||||
#[cfg(any(all(not(target_arch = "aarch64"), not(target_arch = "powerpc"),
|
||||
|
|
@ -96,7 +99,7 @@ pub struct VaListImpl<'f> {
|
|||
vr_top: *mut c_void,
|
||||
gr_offs: i32,
|
||||
vr_offs: i32,
|
||||
_marker: PhantomData<&'f c_void>,
|
||||
_marker: PhantomData<&'f mut &'f c_void>,
|
||||
}
|
||||
|
||||
/// PowerPC ABI implementation of a `va_list`.
|
||||
|
|
@ -114,7 +117,7 @@ pub struct VaListImpl<'f> {
|
|||
reserved: u16,
|
||||
overflow_arg_area: *mut c_void,
|
||||
reg_save_area: *mut c_void,
|
||||
_marker: PhantomData<&'f c_void>,
|
||||
_marker: PhantomData<&'f mut &'f c_void>,
|
||||
}
|
||||
|
||||
/// x86_64 ABI implementation of a `va_list`.
|
||||
|
|
@ -131,7 +134,7 @@ pub struct VaListImpl<'f> {
|
|||
fp_offset: i32,
|
||||
overflow_arg_area: *mut c_void,
|
||||
reg_save_area: *mut c_void,
|
||||
_marker: PhantomData<&'f c_void>,
|
||||
_marker: PhantomData<&'f mut &'f c_void>,
|
||||
}
|
||||
|
||||
/// asm.js ABI implementation of a `va_list`.
|
||||
|
|
@ -148,7 +151,7 @@ pub struct VaListImpl<'f> {
|
|||
#[lang = "va_list"]
|
||||
pub struct VaListImpl<'f> {
|
||||
inner: [crate::mem::MaybeUninit<i32>; 4],
|
||||
_marker: PhantomData<&'f c_void>,
|
||||
_marker: PhantomData<&'f mut &'f c_void>,
|
||||
}
|
||||
|
||||
#[cfg(all(target_arch = "asmjs", not(windows)))]
|
||||
|
|
|
|||
|
|
@ -36,6 +36,8 @@
|
|||
issue = "0")]
|
||||
#![allow(missing_docs)]
|
||||
|
||||
use crate::mem;
|
||||
|
||||
#[stable(feature = "drop_in_place", since = "1.8.0")]
|
||||
#[rustc_deprecated(reason = "no longer an intrinsic - use `ptr::drop_in_place` directly",
|
||||
since = "1.18.0")]
|
||||
|
|
@ -1323,6 +1325,26 @@ extern "rust-intrinsic" {
|
|||
// (`transmute` also falls into this category, but it cannot be wrapped due to the
|
||||
// check that `T` and `U` have the same size.)
|
||||
|
||||
/// Checks whether `ptr` is properly aligned with respect to
|
||||
/// `align_of::<T>()`.
|
||||
pub(crate) fn is_aligned_and_not_null<T>(ptr: *const T) -> bool {
|
||||
!ptr.is_null() && ptr as usize % mem::align_of::<T>() == 0
|
||||
}
|
||||
|
||||
/// Checks whether the regions of memory starting at `src` and `dst` of size
|
||||
/// `count * size_of::<T>()` overlap.
|
||||
fn overlaps<T>(src: *const T, dst: *const T, count: usize) -> bool {
|
||||
let src_usize = src as usize;
|
||||
let dst_usize = dst as usize;
|
||||
let size = mem::size_of::<T>().checked_mul(count).unwrap();
|
||||
let diff = if src_usize > dst_usize {
|
||||
src_usize - dst_usize
|
||||
} else {
|
||||
dst_usize - src_usize
|
||||
};
|
||||
size > diff
|
||||
}
|
||||
|
||||
/// Copies `count * size_of::<T>()` bytes from `src` to `dst`. The source
|
||||
/// and destination must *not* overlap.
|
||||
///
|
||||
|
|
@ -1412,7 +1434,11 @@ pub unsafe fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize) {
|
|||
extern "rust-intrinsic" {
|
||||
fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize);
|
||||
}
|
||||
copy_nonoverlapping(src, dst, count);
|
||||
|
||||
debug_assert!(is_aligned_and_not_null(src), "attempt to copy from unaligned or null pointer");
|
||||
debug_assert!(is_aligned_and_not_null(dst), "attempt to copy to unaligned or null pointer");
|
||||
debug_assert!(!overlaps(src, dst, count), "attempt to copy to overlapping memory");
|
||||
copy_nonoverlapping(src, dst, count)
|
||||
}
|
||||
|
||||
/// Copies `count * size_of::<T>()` bytes from `src` to `dst`. The source
|
||||
|
|
@ -1472,6 +1498,9 @@ pub unsafe fn copy<T>(src: *const T, dst: *mut T, count: usize) {
|
|||
extern "rust-intrinsic" {
|
||||
fn copy<T>(src: *const T, dst: *mut T, count: usize);
|
||||
}
|
||||
|
||||
debug_assert!(is_aligned_and_not_null(src), "attempt to copy from unaligned or null pointer");
|
||||
debug_assert!(is_aligned_and_not_null(dst), "attempt to copy to unaligned or null pointer");
|
||||
copy(src, dst, count)
|
||||
}
|
||||
|
||||
|
|
@ -1553,5 +1582,7 @@ pub unsafe fn write_bytes<T>(dst: *mut T, val: u8, count: usize) {
|
|||
extern "rust-intrinsic" {
|
||||
fn write_bytes<T>(dst: *mut T, val: u8, count: usize);
|
||||
}
|
||||
|
||||
debug_assert!(is_aligned_and_not_null(dst), "attempt to write to unaligned or null pointer");
|
||||
write_bytes(dst, val, count)
|
||||
}
|
||||
|
|
|
|||
|
|
@ -112,7 +112,6 @@ use crate::mem::ManuallyDrop;
|
|||
///
|
||||
/// ```
|
||||
/// use std::mem::{self, MaybeUninit};
|
||||
/// use std::ptr;
|
||||
///
|
||||
/// let data = {
|
||||
/// // Create an uninitialized array of `MaybeUninit`. The `assume_init` is
|
||||
|
|
@ -122,10 +121,13 @@ use crate::mem::ManuallyDrop;
|
|||
/// MaybeUninit::uninit().assume_init()
|
||||
/// };
|
||||
///
|
||||
/// // Dropping a `MaybeUninit` does nothing, so if there is a panic during this loop,
|
||||
/// // we have a memory leak, but there is no memory safety issue.
|
||||
/// // Dropping a `MaybeUninit` does nothing. Thus using raw pointer
|
||||
/// // assignment instead of `ptr::write` does not cause the old
|
||||
/// // uninitialized value to be dropped. Also if there is a panic during
|
||||
/// // this loop, we have a memory leak, but there is no memory safety
|
||||
/// // issue.
|
||||
/// for elem in &mut data[..] {
|
||||
/// unsafe { ptr::write(elem.as_mut_ptr(), vec![42]); }
|
||||
/// *elem = MaybeUninit::new(vec![42]);
|
||||
/// }
|
||||
///
|
||||
/// // Everything is initialized. Transmute the array to the
|
||||
|
|
@ -151,7 +153,7 @@ use crate::mem::ManuallyDrop;
|
|||
/// let mut data_len: usize = 0;
|
||||
///
|
||||
/// for elem in &mut data[0..500] {
|
||||
/// unsafe { ptr::write(elem.as_mut_ptr(), String::from("hello")); }
|
||||
/// *elem = MaybeUninit::new(String::from("hello"));
|
||||
/// data_len += 1;
|
||||
/// }
|
||||
///
|
||||
|
|
|
|||
|
|
@ -291,6 +291,8 @@ impl<T> Option<T> {
|
|||
|
||||
|
||||
/// Converts from [`Pin`]`<&Option<T>>` to `Option<`[`Pin`]`<&T>>`.
|
||||
///
|
||||
/// [`Pin`]: ../pin/struct.Pin.html
|
||||
#[inline]
|
||||
#[stable(feature = "pin", since = "1.33.0")]
|
||||
pub fn as_pin_ref<'a>(self: Pin<&'a Option<T>>) -> Option<Pin<&'a T>> {
|
||||
|
|
@ -300,6 +302,8 @@ impl<T> Option<T> {
|
|||
}
|
||||
|
||||
/// Converts from [`Pin`]`<&mut Option<T>>` to `Option<`[`Pin`]`<&mut T>>`.
|
||||
///
|
||||
/// [`Pin`]: ../pin/struct.Pin.html
|
||||
#[inline]
|
||||
#[stable(feature = "pin", since = "1.33.0")]
|
||||
pub fn as_pin_mut<'a>(self: Pin<&'a mut Option<T>>) -> Option<Pin<&'a mut T>> {
|
||||
|
|
|
|||
|
|
@ -25,7 +25,7 @@
|
|||
use crate::cmp::Ordering::{self, Less, Equal, Greater};
|
||||
use crate::cmp;
|
||||
use crate::fmt;
|
||||
use crate::intrinsics::{assume, exact_div, unchecked_sub};
|
||||
use crate::intrinsics::{assume, exact_div, unchecked_sub, is_aligned_and_not_null};
|
||||
use crate::isize;
|
||||
use crate::iter::*;
|
||||
use crate::ops::{FnMut, Try, self};
|
||||
|
|
@ -5228,7 +5228,7 @@ unsafe impl<'a, T> TrustedRandomAccess for RChunksExactMut<'a, T> {
|
|||
#[inline]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub unsafe fn from_raw_parts<'a, T>(data: *const T, len: usize) -> &'a [T] {
|
||||
debug_assert!(data as usize % mem::align_of::<T>() == 0, "attempt to create unaligned slice");
|
||||
debug_assert!(is_aligned_and_not_null(data), "attempt to create unaligned or null slice");
|
||||
debug_assert!(mem::size_of::<T>().saturating_mul(len) <= isize::MAX as usize,
|
||||
"attempt to create slice covering half the address space");
|
||||
&*ptr::slice_from_raw_parts(data, len)
|
||||
|
|
@ -5249,7 +5249,7 @@ pub unsafe fn from_raw_parts<'a, T>(data: *const T, len: usize) -> &'a [T] {
|
|||
#[inline]
|
||||
#[stable(feature = "rust1", since = "1.0.0")]
|
||||
pub unsafe fn from_raw_parts_mut<'a, T>(data: *mut T, len: usize) -> &'a mut [T] {
|
||||
debug_assert!(data as usize % mem::align_of::<T>() == 0, "attempt to create unaligned slice");
|
||||
debug_assert!(is_aligned_and_not_null(data), "attempt to create unaligned or null slice");
|
||||
debug_assert!(mem::size_of::<T>().saturating_mul(len) <= isize::MAX as usize,
|
||||
"attempt to create slice covering half the address space");
|
||||
&mut *ptr::slice_from_raw_parts_mut(data, len)
|
||||
|
|
|
|||
|
|
@ -31,7 +31,7 @@ impl RawWaker {
|
|||
/// The `data` pointer can be used to store arbitrary data as required
|
||||
/// by the executor. This could be e.g. a type-erased pointer to an `Arc`
|
||||
/// that is associated with the task.
|
||||
/// The value of this poiner will get passed to all functions that are part
|
||||
/// The value of this pointer will get passed to all functions that are part
|
||||
/// of the `vtable` as the first parameter.
|
||||
///
|
||||
/// The `vtable` customizes the behavior of a `Waker` which gets created
|
||||
|
|
|
|||
|
|
@ -161,7 +161,6 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
|
|||
PatternKind::Variant { adt_def, substs, variant_index, ref subpatterns } => {
|
||||
let irrefutable = adt_def.variants.iter_enumerated().all(|(i, v)| {
|
||||
i == variant_index || {
|
||||
self.hir.tcx().features().never_type &&
|
||||
self.hir.tcx().features().exhaustive_patterns &&
|
||||
!v.uninhabited_from(self.hir.tcx(), substs, adt_def.adt_kind()).is_empty()
|
||||
}
|
||||
|
|
|
|||
|
|
@ -333,6 +333,8 @@ pub(crate) trait DataflowResultsConsumer<'a, 'tcx: 'a> {
|
|||
}
|
||||
|
||||
fn process_basic_block(&mut self, bb: BasicBlock, flow_state: &mut Self::FlowState) {
|
||||
self.visit_block_entry(bb, flow_state);
|
||||
|
||||
let BasicBlockData { ref statements, ref terminator, is_cleanup: _ } =
|
||||
self.body()[bb];
|
||||
let mut location = Location { block: bb, statement_index: 0 };
|
||||
|
|
|
|||
|
|
@ -414,12 +414,12 @@ impl<'rt, 'mir, 'tcx, M: Machine<'mir, 'tcx>> ValueVisitor<'mir, 'tcx, M>
|
|||
required.bytes(), has.bytes()), self.path),
|
||||
InterpError::ReadBytesAsPointer =>
|
||||
return validation_failure!(
|
||||
"integer pointer in non-ZST reference",
|
||||
"dangling reference (created from integer)",
|
||||
self.path
|
||||
),
|
||||
_ =>
|
||||
return validation_failure!(
|
||||
"dangling (not entirely in bounds) reference",
|
||||
"dangling reference (not entirely in bounds)",
|
||||
self.path
|
||||
),
|
||||
}
|
||||
|
|
|
|||
|
|
@ -65,7 +65,7 @@ pub fn target() -> Result<Target, String> {
|
|||
..Default::default()
|
||||
};
|
||||
Ok(Target {
|
||||
llvm_target: "x86_64-unknown-linux-gnu".into(),
|
||||
llvm_target: "x86_64-elf".into(),
|
||||
target_endian: "little".into(),
|
||||
target_pointer_width: "64".into(),
|
||||
target_c_int_width: "32".into(),
|
||||
|
|
|
|||
|
|
@ -331,6 +331,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
|
|||
err.note("try using `<*const T>::as_ref()` to get a reference to the \
|
||||
type behind the pointer: https://doc.rust-lang.org/std/\
|
||||
primitive.pointer.html#method.as_ref");
|
||||
err.note("using `<*const T>::as_ref()` on a pointer \
|
||||
which is unaligned or points to invalid \
|
||||
or uninitialized memory is undefined behavior");
|
||||
}
|
||||
err
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1451,7 +1451,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
|
|||
template!(Word),
|
||||
Gated(Stability::Unstable,
|
||||
sym::dropck_eyepatch,
|
||||
"may_dangle has unstable semantics and may be removed in the future",
|
||||
"`may_dangle` has unstable semantics and may be removed in the future",
|
||||
cfg_fn!(dropck_eyepatch))),
|
||||
(sym::unwind, Whitelisted, template!(List: "allowed|aborts"), Gated(Stability::Unstable,
|
||||
sym::unwind_attributes,
|
||||
|
|
@ -1693,8 +1693,8 @@ impl<'a> Context<'a> {
|
|||
// Only run the custom attribute lint during regular feature gate
|
||||
// checking. Macro gating runs before the plugin attributes are
|
||||
// registered, so we skip this in that case.
|
||||
let msg = format!("The attribute `{}` is currently unknown to the compiler and \
|
||||
may have meaning added to it in the future", attr.path);
|
||||
let msg = format!("the attribute `{}` is currently unknown to the compiler and \
|
||||
may have meaning added to it in the future", attr.path);
|
||||
gate_feature!(self, custom_attribute, attr.span, &msg);
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1498,7 +1498,7 @@ impl<'a> Parser<'a> {
|
|||
F: Fn(&token::Token) -> bool
|
||||
{
|
||||
let attrs = self.parse_arg_attributes()?;
|
||||
if let Ok(Some(mut arg)) = self.parse_self_arg() {
|
||||
if let Some(mut arg) = self.parse_self_arg()? {
|
||||
arg.attrs = attrs.into();
|
||||
return self.recover_bad_self_arg(arg, is_trait_item);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
// compile-flags: -O
|
||||
// ignore-debug: the debug assertions get in the way
|
||||
|
||||
#![crate_type = "lib"]
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,5 @@
|
|||
// compile-flags: -O
|
||||
// ignore-debug: the debug assertions get in the way
|
||||
|
||||
#![crate_type="rlib"]
|
||||
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
// compile-flags: -O
|
||||
// only-x86_64
|
||||
// ignore-debug: the debug assertions get in the way
|
||||
|
||||
#![crate_type = "lib"]
|
||||
|
||||
|
|
|
|||
|
|
@ -23,6 +23,16 @@ LL | let _ = ap.with_copy(|ap| { ap });
|
|||
| | return type of closure is core::ffi::VaList<'2, '_>
|
||||
| has type `core::ffi::VaList<'1, '_>`
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:20:5
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| ------- ------- has type `core::ffi::VaListImpl<'2>`
|
||||
| |
|
||||
| has type `&mut core::ffi::VaListImpl<'1>`
|
||||
LL | *ap0 = ap1;
|
||||
| ^^^^ assignment requires that `'1` must outlive `'2`
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:20:5
|
||||
|
|
||||
|
|
@ -34,7 +44,7 @@ LL | *ap0 = ap1;
|
|||
| ^^^^ assignment requires that `'1` must outlive `'2`
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:24:5
|
||||
--> $DIR/variadic-ffi-4.rs:25:5
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| --- ------- has type `core::ffi::VaListImpl<'2>`
|
||||
|
|
@ -44,7 +54,7 @@ LL | ap0 = &mut ap1;
|
|||
| ^^^^^^^^^^^^^^ assignment requires that `'1` must outlive `'2`
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:24:5
|
||||
--> $DIR/variadic-ffi-4.rs:25:5
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| --- ------- has type `core::ffi::VaListImpl<'1>`
|
||||
|
|
@ -54,7 +64,7 @@ LL | ap0 = &mut ap1;
|
|||
| ^^^^^^^^^^^^^^ assignment requires that `'1` must outlive `'2`
|
||||
|
||||
error[E0384]: cannot assign to immutable argument `ap0`
|
||||
--> $DIR/variadic-ffi-4.rs:24:5
|
||||
--> $DIR/variadic-ffi-4.rs:25:5
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| --- help: make this binding mutable: `mut ap0`
|
||||
|
|
@ -62,7 +72,7 @@ LL | ap0 = &mut ap1;
|
|||
| ^^^^^^^^^^^^^^ cannot assign to immutable argument
|
||||
|
||||
error[E0597]: `ap1` does not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| - let's call the lifetime of this reference `'1`
|
||||
|
|
@ -76,16 +86,26 @@ LL | }
|
|||
| - `ap1` dropped here while still borrowed
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:32:5
|
||||
--> $DIR/variadic-ffi-4.rs:33:12
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| ------- ------- has type `core::ffi::VaListImpl<'2>`
|
||||
| |
|
||||
| has type `&mut core::ffi::VaListImpl<'1>`
|
||||
LL | *ap0 = ap1.clone();
|
||||
| ^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
|
||||
|
||||
error: lifetime may not live long enough
|
||||
--> $DIR/variadic-ffi-4.rs:33:12
|
||||
|
|
||||
LL | pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
| ------- ------- has type `core::ffi::VaListImpl<'1>`
|
||||
| |
|
||||
| has type `&mut core::ffi::VaListImpl<'2>`
|
||||
LL | *ap0 = ap1.clone();
|
||||
| ^^^^ assignment requires that `'1` must outlive `'2`
|
||||
| ^^^^^^^^^^^ argument requires that `'1` must outlive `'2`
|
||||
|
||||
error: aborting due to 9 previous errors
|
||||
error: aborting due to 11 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0384, E0597, E0621.
|
||||
For more information about an error, try `rustc --explain E0384`.
|
||||
|
|
|
|||
|
|
@ -18,6 +18,7 @@ pub unsafe extern "C" fn no_escape2(_: usize, ap: ...) {
|
|||
|
||||
pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
*ap0 = ap1; //~ ERROR: mismatched types
|
||||
//~^ ERROR: mismatched types
|
||||
}
|
||||
|
||||
pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
|
|
@ -29,5 +30,6 @@ pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...
|
|||
}
|
||||
|
||||
pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
*ap0 = ap1.clone(); //~ ERROR: cannot infer an appropriate lifetime
|
||||
*ap0 = ap1.clone(); //~ ERROR: mismatched types
|
||||
//~^ ERROR: mismatched types
|
||||
}
|
||||
|
|
|
|||
|
|
@ -52,6 +52,7 @@ note: the anonymous lifetime #3 defined on the function body at 19:1...
|
|||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1;
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: ...does not necessarily outlive the anonymous lifetime #2 defined on the function body at 19:1
|
||||
|
|
@ -59,17 +60,43 @@ note: ...does not necessarily outlive the anonymous lifetime #2 defined on the f
|
|||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1;
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/variadic-ffi-4.rs:20:12
|
||||
|
|
||||
LL | *ap0 = ap1;
|
||||
| ^^^ lifetime mismatch
|
||||
|
|
||||
= note: expected type `core::ffi::VaListImpl<'_>`
|
||||
found type `core::ffi::VaListImpl<'_>`
|
||||
note: the anonymous lifetime #2 defined on the function body at 19:1...
|
||||
--> $DIR/variadic-ffi-4.rs:19:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1;
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: ...does not necessarily outlive the anonymous lifetime #3 defined on the function body at 19:1
|
||||
--> $DIR/variadic-ffi-4.rs:19:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape3(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1;
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
|
||||
error[E0490]: a value of type `core::ffi::VaListImpl<'_>` is borrowed for too long
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^
|
||||
|
|
||||
note: the type is valid for the anonymous lifetime #1 defined on the function body at 23:1
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: the type is valid for the anonymous lifetime #1 defined on the function body at 24:1
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -79,8 +106,8 @@ LL | |
|
|||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: but the borrow lasts for the anonymous lifetime #3 defined on the function body at 23:1
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: but the borrow lasts for the anonymous lifetime #3 defined on the function body at 24:1
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -92,15 +119,15 @@ LL | | }
|
|||
| |_^
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^ lifetime mismatch
|
||||
|
|
||||
= note: expected type `&mut core::ffi::VaListImpl<'_>`
|
||||
found type `&mut core::ffi::VaListImpl<'_>`
|
||||
note: the anonymous lifetime #3 defined on the function body at 23:1...
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: the anonymous lifetime #3 defined on the function body at 24:1...
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -110,8 +137,8 @@ LL | |
|
|||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: ...does not necessarily outlive the anonymous lifetime #2 defined on the function body at 23:1
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: ...does not necessarily outlive the anonymous lifetime #2 defined on the function body at 24:1
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -123,15 +150,15 @@ LL | | }
|
|||
| |_^
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^ lifetime mismatch
|
||||
|
|
||||
= note: expected type `&mut core::ffi::VaListImpl<'_>`
|
||||
found type `&mut core::ffi::VaListImpl<'_>`
|
||||
note: the anonymous lifetime #2 defined on the function body at 23:1...
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: the anonymous lifetime #2 defined on the function body at 24:1...
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -141,8 +168,8 @@ LL | |
|
|||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: ...does not necessarily outlive the anonymous lifetime #3 defined on the function body at 23:1
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: ...does not necessarily outlive the anonymous lifetime #3 defined on the function body at 24:1
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -154,13 +181,13 @@ LL | | }
|
|||
| |_^
|
||||
|
||||
error[E0495]: cannot infer an appropriate lifetime for borrow expression due to conflicting requirements
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^
|
||||
|
|
||||
note: first, the lifetime cannot outlive the anonymous lifetime #3 defined on the function body at 23:1...
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: first, the lifetime cannot outlive the anonymous lifetime #3 defined on the function body at 24:1...
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -171,12 +198,12 @@ LL | |
|
|||
LL | | }
|
||||
| |_^
|
||||
note: ...so that the type `core::ffi::VaListImpl<'_>` is not borrowed for too long
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^
|
||||
note: but, the lifetime must be valid for the anonymous lifetime #1 defined on the function body at 23:1...
|
||||
--> $DIR/variadic-ffi-4.rs:23:1
|
||||
note: but, the lifetime must be valid for the anonymous lifetime #1 defined on the function body at 24:1...
|
||||
--> $DIR/variadic-ffi-4.rs:24:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape4(_: usize, ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | ap0 = &mut ap1;
|
||||
|
|
@ -187,39 +214,62 @@ LL | |
|
|||
LL | | }
|
||||
| |_^
|
||||
note: ...so that reference does not outlive borrowed content
|
||||
--> $DIR/variadic-ffi-4.rs:24:11
|
||||
--> $DIR/variadic-ffi-4.rs:25:11
|
||||
|
|
||||
LL | ap0 = &mut ap1;
|
||||
| ^^^^^^^^
|
||||
|
||||
error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
|
||||
--> $DIR/variadic-ffi-4.rs:32:16
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/variadic-ffi-4.rs:33:12
|
||||
|
|
||||
LL | *ap0 = ap1.clone();
|
||||
| ^^^^^
|
||||
| ^^^^^^^^^^^ lifetime mismatch
|
||||
|
|
||||
note: first, the lifetime cannot outlive the anonymous lifetime #3 defined on the function body at 31:1...
|
||||
--> $DIR/variadic-ffi-4.rs:31:1
|
||||
= note: expected type `core::ffi::VaListImpl<'_>`
|
||||
found type `core::ffi::VaListImpl<'_>`
|
||||
note: the anonymous lifetime #3 defined on the function body at 32:1...
|
||||
--> $DIR/variadic-ffi-4.rs:32:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1.clone();
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
= note: ...so that the types are compatible:
|
||||
expected &core::ffi::VaListImpl<'_>
|
||||
found &core::ffi::VaListImpl<'_>
|
||||
note: but, the lifetime must be valid for the anonymous lifetime #2 defined on the function body at 31:1...
|
||||
--> $DIR/variadic-ffi-4.rs:31:1
|
||||
note: ...does not necessarily outlive the anonymous lifetime #2 defined on the function body at 32:1
|
||||
--> $DIR/variadic-ffi-4.rs:32:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1.clone();
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
= note: ...so that the expression is assignable:
|
||||
expected core::ffi::VaListImpl<'_>
|
||||
found core::ffi::VaListImpl<'_>
|
||||
|
||||
error: aborting due to 9 previous errors
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/variadic-ffi-4.rs:33:12
|
||||
|
|
||||
LL | *ap0 = ap1.clone();
|
||||
| ^^^^^^^^^^^ lifetime mismatch
|
||||
|
|
||||
= note: expected type `core::ffi::VaListImpl<'_>`
|
||||
found type `core::ffi::VaListImpl<'_>`
|
||||
note: the anonymous lifetime #2 defined on the function body at 32:1...
|
||||
--> $DIR/variadic-ffi-4.rs:32:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1.clone();
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
note: ...does not necessarily outlive the anonymous lifetime #3 defined on the function body at 32:1
|
||||
--> $DIR/variadic-ffi-4.rs:32:1
|
||||
|
|
||||
LL | / pub unsafe extern "C" fn no_escape5(_: usize, mut ap0: &mut VaListImpl, mut ap1: ...) {
|
||||
LL | | *ap0 = ap1.clone();
|
||||
LL | |
|
||||
LL | | }
|
||||
| |_^
|
||||
|
||||
error: aborting due to 11 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0308, E0621.
|
||||
For more information about an error, try `rustc --explain E0308`.
|
||||
|
|
|
|||
|
|
@ -16,7 +16,7 @@ error: only lifetime parameters can be used in this context
|
|||
LL | struct WhereBad where for<#[cfg(no)] 'a, #[cfg(yes)] T> u8: Copy;
|
||||
| ^
|
||||
|
||||
error[E0658]: The attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/cfg-generic-params.rs:19:29
|
||||
|
|
||||
LL | fn f_lt_yes<#[cfg_attr(yes, unknown)] 'a>() {}
|
||||
|
|
@ -25,7 +25,7 @@ LL | fn f_lt_yes<#[cfg_attr(yes, unknown)] 'a>() {}
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/cfg-generic-params.rs:21:29
|
||||
|
|
||||
LL | fn f_ty_yes<#[cfg_attr(yes, unknown)] T>() {}
|
||||
|
|
@ -34,7 +34,7 @@ LL | fn f_ty_yes<#[cfg_attr(yes, unknown)] T>() {}
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/cfg-generic-params.rs:24:34
|
||||
|
|
||||
LL | type FnYes = for<#[cfg_attr(yes, unknown)] 'a> fn();
|
||||
|
|
@ -43,7 +43,7 @@ LL | type FnYes = for<#[cfg_attr(yes, unknown)] 'a> fn();
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/cfg-generic-params.rs:28:40
|
||||
|
|
||||
LL | type PolyYes = dyn for<#[cfg_attr(yes, unknown)] 'a> Copy;
|
||||
|
|
@ -52,7 +52,7 @@ LL | type PolyYes = dyn for<#[cfg_attr(yes, unknown)] 'a> Copy;
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `unknown` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/cfg-generic-params.rs:32:43
|
||||
|
|
||||
LL | struct WhereYes where for<#[cfg_attr(yes, unknown)] 'a> u8: Copy;
|
||||
|
|
|
|||
|
|
@ -34,7 +34,7 @@ error[E0080]: it is undefined behavior to use this value
|
|||
--> $DIR/ub-ref.rs:20:1
|
||||
|
|
||||
LL | const USIZE_AS_REF: &'static u8 = unsafe { mem::transmute(1337usize) };
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered integer pointer in non-ZST reference
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling reference (created from integer)
|
||||
|
|
||||
= note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rust compiler repository if you believe it should not be considered undefined behavior
|
||||
|
||||
|
|
|
|||
|
|
@ -2,7 +2,7 @@ error[E0080]: it is undefined behavior to use this value
|
|||
--> $DIR/union-ub-fat-ptr.rs:78:1
|
||||
|
|
||||
LL | const B: &str = unsafe { SliceTransmute { repr: SliceRepr { ptr: &42, len: 999 } }.str};
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling (not entirely in bounds) reference
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling reference (not entirely in bounds)
|
||||
|
|
||||
= note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rust compiler repository if you believe it should not be considered undefined behavior
|
||||
|
||||
|
|
@ -26,7 +26,7 @@ error[E0080]: it is undefined behavior to use this value
|
|||
--> $DIR/union-ub-fat-ptr.rs:90:1
|
||||
|
|
||||
LL | const B2: &[u8] = unsafe { SliceTransmute { repr: SliceRepr { ptr: &42, len: 999 } }.slice};
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling (not entirely in bounds) reference
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered dangling reference (not entirely in bounds)
|
||||
|
|
||||
= note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rust compiler repository if you believe it should not be considered undefined behavior
|
||||
|
||||
|
|
|
|||
|
|
@ -4,54 +4,54 @@
|
|||
// gate-test-custom_attribute
|
||||
|
||||
struct StLt<#[lt_struct] 'a>(&'a u32);
|
||||
//~^ ERROR The attribute `lt_struct` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_struct` is currently unknown to the compiler
|
||||
struct StTy<#[ty_struct] I>(I);
|
||||
//~^ ERROR The attribute `ty_struct` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_struct` is currently unknown to the compiler
|
||||
|
||||
enum EnLt<#[lt_enum] 'b> { A(&'b u32), B }
|
||||
//~^ ERROR The attribute `lt_enum` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_enum` is currently unknown to the compiler
|
||||
enum EnTy<#[ty_enum] J> { A(J), B }
|
||||
//~^ ERROR The attribute `ty_enum` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_enum` is currently unknown to the compiler
|
||||
|
||||
trait TrLt<#[lt_trait] 'c> { fn foo(&self, _: &'c [u32]) -> &'c u32; }
|
||||
//~^ ERROR The attribute `lt_trait` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_trait` is currently unknown to the compiler
|
||||
trait TrTy<#[ty_trait] K> { fn foo(&self, _: K); }
|
||||
//~^ ERROR The attribute `ty_trait` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_trait` is currently unknown to the compiler
|
||||
|
||||
type TyLt<#[lt_type] 'd> = &'d u32;
|
||||
//~^ ERROR The attribute `lt_type` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_type` is currently unknown to the compiler
|
||||
type TyTy<#[ty_type] L> = (L, );
|
||||
//~^ ERROR The attribute `ty_type` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_type` is currently unknown to the compiler
|
||||
|
||||
impl<#[lt_inherent] 'e> StLt<'e> { }
|
||||
//~^ ERROR The attribute `lt_inherent` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_inherent` is currently unknown to the compiler
|
||||
impl<#[ty_inherent] M> StTy<M> { }
|
||||
//~^ ERROR The attribute `ty_inherent` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_inherent` is currently unknown to the compiler
|
||||
|
||||
impl<#[lt_impl_for] 'f> TrLt<'f> for StLt<'f> {
|
||||
//~^ ERROR The attribute `lt_impl_for` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_impl_for` is currently unknown to the compiler
|
||||
fn foo(&self, _: &'f [u32]) -> &'f u32 { loop { } }
|
||||
}
|
||||
impl<#[ty_impl_for] N> TrTy<N> for StTy<N> {
|
||||
//~^ ERROR The attribute `ty_impl_for` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_impl_for` is currently unknown to the compiler
|
||||
fn foo(&self, _: N) { }
|
||||
}
|
||||
|
||||
fn f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u32 { loop { } }
|
||||
//~^ ERROR The attribute `lt_fn` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_fn` is currently unknown to the compiler
|
||||
fn f_ty<#[ty_fn] O>(_: O) { }
|
||||
//~^ ERROR The attribute `ty_fn` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_fn` is currently unknown to the compiler
|
||||
|
||||
impl<I> StTy<I> {
|
||||
fn m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u32 { loop { } }
|
||||
//~^ ERROR The attribute `lt_meth` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_meth` is currently unknown to the compiler
|
||||
fn m_ty<#[ty_meth] P>(_: P) { }
|
||||
//~^ ERROR The attribute `ty_meth` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `ty_meth` is currently unknown to the compiler
|
||||
}
|
||||
|
||||
fn hof_lt<Q>(_: Q)
|
||||
where Q: for <#[lt_hof] 'i> Fn(&'i [u32]) -> &'i u32
|
||||
//~^ ERROR The attribute `lt_hof` is currently unknown to the compiler
|
||||
//~^ ERROR the attribute `lt_hof` is currently unknown to the compiler
|
||||
{
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0658]: The attribute `lt_struct` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_struct` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:6:13
|
||||
|
|
||||
LL | struct StLt<#[lt_struct] 'a>(&'a u32);
|
||||
|
|
@ -7,7 +7,7 @@ LL | struct StLt<#[lt_struct] 'a>(&'a u32);
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_struct` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_struct` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:8:13
|
||||
|
|
||||
LL | struct StTy<#[ty_struct] I>(I);
|
||||
|
|
@ -16,7 +16,7 @@ LL | struct StTy<#[ty_struct] I>(I);
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_enum` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_enum` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:11:11
|
||||
|
|
||||
LL | enum EnLt<#[lt_enum] 'b> { A(&'b u32), B }
|
||||
|
|
@ -25,7 +25,7 @@ LL | enum EnLt<#[lt_enum] 'b> { A(&'b u32), B }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_enum` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_enum` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:13:11
|
||||
|
|
||||
LL | enum EnTy<#[ty_enum] J> { A(J), B }
|
||||
|
|
@ -34,7 +34,7 @@ LL | enum EnTy<#[ty_enum] J> { A(J), B }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_trait` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_trait` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:16:12
|
||||
|
|
||||
LL | trait TrLt<#[lt_trait] 'c> { fn foo(&self, _: &'c [u32]) -> &'c u32; }
|
||||
|
|
@ -43,7 +43,7 @@ LL | trait TrLt<#[lt_trait] 'c> { fn foo(&self, _: &'c [u32]) -> &'c u32; }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_trait` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_trait` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:18:12
|
||||
|
|
||||
LL | trait TrTy<#[ty_trait] K> { fn foo(&self, _: K); }
|
||||
|
|
@ -52,7 +52,7 @@ LL | trait TrTy<#[ty_trait] K> { fn foo(&self, _: K); }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_type` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_type` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:21:11
|
||||
|
|
||||
LL | type TyLt<#[lt_type] 'd> = &'d u32;
|
||||
|
|
@ -61,7 +61,7 @@ LL | type TyLt<#[lt_type] 'd> = &'d u32;
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_type` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_type` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:23:11
|
||||
|
|
||||
LL | type TyTy<#[ty_type] L> = (L, );
|
||||
|
|
@ -70,7 +70,7 @@ LL | type TyTy<#[ty_type] L> = (L, );
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_inherent` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_inherent` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:26:6
|
||||
|
|
||||
LL | impl<#[lt_inherent] 'e> StLt<'e> { }
|
||||
|
|
@ -79,7 +79,7 @@ LL | impl<#[lt_inherent] 'e> StLt<'e> { }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_inherent` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_inherent` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:28:6
|
||||
|
|
||||
LL | impl<#[ty_inherent] M> StTy<M> { }
|
||||
|
|
@ -88,7 +88,7 @@ LL | impl<#[ty_inherent] M> StTy<M> { }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_impl_for` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_impl_for` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:31:6
|
||||
|
|
||||
LL | impl<#[lt_impl_for] 'f> TrLt<'f> for StLt<'f> {
|
||||
|
|
@ -97,7 +97,7 @@ LL | impl<#[lt_impl_for] 'f> TrLt<'f> for StLt<'f> {
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_impl_for` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_impl_for` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:35:6
|
||||
|
|
||||
LL | impl<#[ty_impl_for] N> TrTy<N> for StTy<N> {
|
||||
|
|
@ -106,7 +106,7 @@ LL | impl<#[ty_impl_for] N> TrTy<N> for StTy<N> {
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_fn` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_fn` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:40:9
|
||||
|
|
||||
LL | fn f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u32 { loop { } }
|
||||
|
|
@ -115,7 +115,7 @@ LL | fn f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u32 { loop { } }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_fn` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_fn` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:42:9
|
||||
|
|
||||
LL | fn f_ty<#[ty_fn] O>(_: O) { }
|
||||
|
|
@ -124,7 +124,7 @@ LL | fn f_ty<#[ty_fn] O>(_: O) { }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_meth` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_meth` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:46:13
|
||||
|
|
||||
LL | fn m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u32 { loop { } }
|
||||
|
|
@ -133,7 +133,7 @@ LL | fn m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u32 { loop { } }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `ty_meth` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `ty_meth` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:48:13
|
||||
|
|
||||
LL | fn m_ty<#[ty_meth] P>(_: P) { }
|
||||
|
|
@ -142,7 +142,7 @@ LL | fn m_ty<#[ty_meth] P>(_: P) { }
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `lt_hof` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `lt_hof` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/feature-gate-custom_attribute2.rs:53:19
|
||||
|
|
||||
LL | where Q: for <#[lt_hof] 'i> Fn(&'i [u32]) -> &'i u32
|
||||
|
|
|
|||
|
|
@ -4,7 +4,7 @@
|
|||
|
||||
struct Pt<A>(A);
|
||||
unsafe impl<#[may_dangle] A> Drop for Pt<A> {
|
||||
//~^ ERROR may_dangle has unstable semantics and may be removed in the future
|
||||
//~^ ERROR `may_dangle` has unstable semantics and may be removed in the future
|
||||
fn drop(&mut self) { }
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0658]: may_dangle has unstable semantics and may be removed in the future
|
||||
error[E0658]: `may_dangle` has unstable semantics and may be removed in the future
|
||||
--> $DIR/feature-gate-may-dangle.rs:6:13
|
||||
|
|
||||
LL | unsafe impl<#[may_dangle] A> Drop for Pt<A> {
|
||||
|
|
|
|||
|
|
@ -5,6 +5,7 @@ LL | println!("{}", z.to_string());
|
|||
| ^^^^^^^^^
|
||||
|
|
||||
= note: try using `<*const T>::as_ref()` to get a reference to the type behind the pointer: https://doc.rust-lang.org/std/primitive.pointer.html#method.as_ref
|
||||
= note: using `<*const T>::as_ref()` on a pointer which is unaligned or points to invalid or uninitialized memory is undefined behavior
|
||||
= note: the method `to_string` exists but the following trait bounds were not satisfied:
|
||||
`*const u8 : std::string::ToString`
|
||||
|
||||
|
|
|
|||
|
|
@ -0,0 +1,11 @@
|
|||
// Regression test for issue #62660: if a receiver's type does not
|
||||
// successfully parse, emit the correct error instead of ICE-ing the compiler.
|
||||
|
||||
struct Foo;
|
||||
|
||||
impl Foo {
|
||||
pub fn foo(_: i32, self: Box<Self) {}
|
||||
//~^ ERROR expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `)`
|
||||
}
|
||||
|
||||
fn main() {}
|
||||
|
|
@ -0,0 +1,8 @@
|
|||
error: expected one of `!`, `(`, `+`, `,`, `::`, `<`, or `>`, found `)`
|
||||
--> $DIR/issue-62660.rs:7:38
|
||||
|
|
||||
LL | pub fn foo(_: i32, self: Box<Self) {}
|
||||
| ^ expected one of 7 possible tokens here
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
|
@ -1,4 +1,4 @@
|
|||
error[E0658]: The attribute `empty_attr` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `empty_attr` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/proc-macro-gates2.rs:12:11
|
||||
|
|
||||
LL | fn _test6<#[empty_attr] T>() {}
|
||||
|
|
@ -7,7 +7,7 @@ LL | fn _test6<#[empty_attr] T>() {}
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `empty_attr` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `empty_attr` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/proc-macro-gates2.rs:17:9
|
||||
|
|
||||
LL | #[empty_attr]
|
||||
|
|
|
|||
|
|
@ -5,7 +5,7 @@ extern "C" {
|
|||
/// Foo
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: i32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -21,7 +21,7 @@ type FnType = fn(
|
|||
/// Foo
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: u32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -36,7 +36,7 @@ pub fn foo(
|
|||
/// Foo
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: u32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -56,7 +56,7 @@ impl SelfStruct {
|
|||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: i32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Baz
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -77,7 +77,7 @@ impl RefStruct {
|
|||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: i32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Baz
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -96,7 +96,7 @@ trait RefTrait {
|
|||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: i32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Baz
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -115,7 +115,7 @@ impl RefTrait for RefStruct {
|
|||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: i32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Baz
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
@ -132,7 +132,7 @@ fn main() {
|
|||
/// Foo
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[test] a: u32,
|
||||
//~^ ERROR The attribute `test` is currently unknown to the compiler and may have
|
||||
//~^ ERROR the attribute `test` is currently unknown to the compiler and may have
|
||||
/// Bar
|
||||
//~^ ERROR documentation comments cannot be applied to function
|
||||
#[must_use]
|
||||
|
|
|
|||
|
|
@ -262,7 +262,7 @@ error: allow, cfg, cfg_attr, deny, forbid, and warn are the only allowed built-i
|
|||
LL | #[no_mangle] b: i32
|
||||
| ^^^^^^^^^^^^
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:7:9
|
||||
|
|
||||
LL | #[test] a: i32,
|
||||
|
|
@ -271,7 +271,7 @@ LL | #[test] a: i32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:23:5
|
||||
|
|
||||
LL | #[test] a: u32,
|
||||
|
|
@ -280,7 +280,7 @@ LL | #[test] a: u32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:38:5
|
||||
|
|
||||
LL | #[test] a: u32,
|
||||
|
|
@ -289,7 +289,7 @@ LL | #[test] a: u32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:58:9
|
||||
|
|
||||
LL | #[test] a: i32,
|
||||
|
|
@ -298,7 +298,7 @@ LL | #[test] a: i32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:79:9
|
||||
|
|
||||
LL | #[test] a: i32,
|
||||
|
|
@ -307,7 +307,7 @@ LL | #[test] a: i32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:98:9
|
||||
|
|
||||
LL | #[test] a: i32,
|
||||
|
|
@ -316,7 +316,7 @@ LL | #[test] a: i32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:117:9
|
||||
|
|
||||
LL | #[test] a: i32,
|
||||
|
|
@ -325,7 +325,7 @@ LL | #[test] a: i32,
|
|||
= note: for more information, see https://github.com/rust-lang/rust/issues/29642
|
||||
= help: add `#![feature(custom_attribute)]` to the crate attributes to enable
|
||||
|
||||
error[E0658]: The attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
error[E0658]: the attribute `test` is currently unknown to the compiler and may have meaning added to it in the future
|
||||
--> $DIR/param-attrs-builtin-attrs.rs:134:9
|
||||
|
|
||||
LL | #[test] a: u32,
|
||||
|
|
|
|||
|
|
@ -0,0 +1,9 @@
|
|||
// check-pass
|
||||
|
||||
#![feature(exhaustive_patterns)]
|
||||
|
||||
enum Void {}
|
||||
fn main() {
|
||||
let a: Option<Void> = None;
|
||||
let None = a;
|
||||
}
|
||||
Loading…
Reference in New Issue