mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
Auto merge of #154423 - JonathanBrouwer:rollup-CxbclzF, r=JonathanBrouwer
Rollup of 5 pull requests Successful merges: - rust-lang/rust#152757 (Add x86_64-unknown-linux-gnu{m,t}san target which enables {M,T}San by default) - rust-lang/rust#154354 (Add more tests for the parallel frontend) - rust-lang/rust#154088 (Reorder inline asm operands in pretty printer to satisfy grammar constraints) - rust-lang/rust#154407 (Link from `assert_matches` to `debug_assert_matches`) - rust-lang/rust#154420 (Use extended regex syntax)
This commit is contained in:
bors
@@ -1649,6 +1649,85 @@ fn print_mac(&mut self, m: &ast::MacCall) {
|
||||
);
|
||||
}
|
||||
|
||||
fn inline_asm_template_and_operands<'asm>(
|
||||
asm: &'asm ast::InlineAsm,
|
||||
) -> (String, Vec<&'asm InlineAsmOperand>) {
|
||||
fn is_explicit_reg(op: &InlineAsmOperand) -> bool {
|
||||
match op {
|
||||
InlineAsmOperand::In { reg, .. }
|
||||
| InlineAsmOperand::Out { reg, .. }
|
||||
| InlineAsmOperand::InOut { reg, .. }
|
||||
| InlineAsmOperand::SplitInOut { reg, .. } => {
|
||||
matches!(reg, InlineAsmRegOrRegClass::Reg(_))
|
||||
}
|
||||
InlineAsmOperand::Const { .. }
|
||||
| InlineAsmOperand::Sym { .. }
|
||||
| InlineAsmOperand::Label { .. } => false,
|
||||
}
|
||||
}
|
||||
|
||||
// After macro expansion, named operands become positional. The grammar
|
||||
// requires positional operands to precede explicit register operands,
|
||||
// so we must reorder when any non-explicit operand follows an explicit
|
||||
// one. When no reordering is needed, we use the original template
|
||||
// string and operand order to avoid duplicating the Display logic in
|
||||
// InlineAsmTemplatePiece.
|
||||
let needs_reorder = {
|
||||
let mut seen_explicit = false;
|
||||
asm.operands.iter().any(|(op, _)| {
|
||||
if is_explicit_reg(op) {
|
||||
seen_explicit = true;
|
||||
false
|
||||
} else {
|
||||
seen_explicit
|
||||
}
|
||||
})
|
||||
};
|
||||
|
||||
if !needs_reorder {
|
||||
let template = InlineAsmTemplatePiece::to_string(&asm.template);
|
||||
let operands = asm.operands.iter().map(|(op, _)| op).collect();
|
||||
return (template, operands);
|
||||
}
|
||||
|
||||
let mut non_explicit = Vec::new();
|
||||
let mut explicit = Vec::new();
|
||||
for (i, (op, _)) in asm.operands.iter().enumerate() {
|
||||
if is_explicit_reg(op) {
|
||||
explicit.push(i);
|
||||
} else {
|
||||
non_explicit.push(i);
|
||||
}
|
||||
}
|
||||
let order = non_explicit.into_iter().chain(explicit).collect::<Vec<_>>();
|
||||
|
||||
// Build old-index -> new-index mapping for template renumbering.
|
||||
let mut old_to_new = vec![0usize; asm.operands.len()];
|
||||
for (new_idx, old_idx) in order.iter().copied().enumerate() {
|
||||
old_to_new[old_idx] = new_idx;
|
||||
}
|
||||
|
||||
// Remap template placeholder indices and reuse the existing Display
|
||||
// impl to build the template string.
|
||||
let remapped = asm
|
||||
.template
|
||||
.iter()
|
||||
.map(|piece| match piece {
|
||||
InlineAsmTemplatePiece::Placeholder { operand_idx, modifier, span } => {
|
||||
InlineAsmTemplatePiece::Placeholder {
|
||||
operand_idx: old_to_new[*operand_idx],
|
||||
modifier: *modifier,
|
||||
span: *span,
|
||||
}
|
||||
}
|
||||
other => other.clone(),
|
||||
})
|
||||
.collect::<Vec<_>>();
|
||||
let template = InlineAsmTemplatePiece::to_string(&remapped);
|
||||
let operands = order.iter().map(|&idx| &asm.operands[idx].0).collect();
|
||||
(template, operands)
|
||||
}
|
||||
|
||||
fn print_inline_asm(&mut self, asm: &ast::InlineAsm) {
|
||||
enum AsmArg<'a> {
|
||||
Template(String),
|
||||
@@ -1657,8 +1736,9 @@ enum AsmArg<'a> {
|
||||
Options(InlineAsmOptions),
|
||||
}
|
||||
|
||||
let mut args = vec![AsmArg::Template(InlineAsmTemplatePiece::to_string(&asm.template))];
|
||||
args.extend(asm.operands.iter().map(|(o, _)| AsmArg::Operand(o)));
|
||||
let (template, operands) = Self::inline_asm_template_and_operands(asm);
|
||||
let mut args = vec![AsmArg::Template(template)];
|
||||
args.extend(operands.into_iter().map(AsmArg::Operand));
|
||||
for (abi, _) in &asm.clobber_abis {
|
||||
args.push(AsmArg::ClobberAbi(*abi));
|
||||
}
|
||||
|
||||
@@ -1826,6 +1826,8 @@ fn $module() {
|
||||
("x86_64-pc-cygwin", x86_64_pc_cygwin),
|
||||
|
||||
("x86_64-unknown-linux-gnuasan", x86_64_unknown_linux_gnuasan),
|
||||
("x86_64-unknown-linux-gnumsan", x86_64_unknown_linux_gnumsan),
|
||||
("x86_64-unknown-linux-gnutsan", x86_64_unknown_linux_gnutsan),
|
||||
}
|
||||
|
||||
/// Cow-Vec-Str: Cow<'static, [Cow<'static, str>]>
|
||||
|
||||
@@ -0,0 +1,16 @@
|
||||
use crate::spec::{SanitizerSet, Target, TargetMetadata};
|
||||
|
||||
pub(crate) fn target() -> Target {
|
||||
let mut base = super::x86_64_unknown_linux_gnu::target();
|
||||
base.metadata = TargetMetadata {
|
||||
description: Some(
|
||||
"64-bit Linux (kernel 3.2+, glibc 2.17+) with MSAN enabled by default".into(),
|
||||
),
|
||||
tier: Some(2),
|
||||
host_tools: Some(false),
|
||||
std: Some(true),
|
||||
};
|
||||
base.supported_sanitizers = SanitizerSet::MEMORY;
|
||||
base.default_sanitizers = SanitizerSet::MEMORY;
|
||||
base
|
||||
}
|
||||
@@ -0,0 +1,16 @@
|
||||
use crate::spec::{SanitizerSet, Target, TargetMetadata};
|
||||
|
||||
pub(crate) fn target() -> Target {
|
||||
let mut base = super::x86_64_unknown_linux_gnu::target();
|
||||
base.metadata = TargetMetadata {
|
||||
description: Some(
|
||||
"64-bit Linux (kernel 3.2+, glibc 2.17+) with TSAN enabled by default".into(),
|
||||
),
|
||||
tier: Some(2),
|
||||
host_tools: Some(false),
|
||||
std: Some(true),
|
||||
};
|
||||
base.supported_sanitizers = SanitizerSet::THREAD;
|
||||
base.default_sanitizers = SanitizerSet::THREAD;
|
||||
base
|
||||
}
|
||||
@@ -124,8 +124,6 @@ macro_rules! assert_ne {
|
||||
};
|
||||
}
|
||||
|
||||
// FIXME add back debug_assert_matches doc link after bootstrap.
|
||||
|
||||
/// Asserts that an expression matches the provided pattern.
|
||||
///
|
||||
/// This macro is generally preferable to `assert!(matches!(value, pattern))`, because it can print
|
||||
@@ -137,9 +135,11 @@ macro_rules! assert_ne {
|
||||
/// otherwise this macro will panic.
|
||||
///
|
||||
/// Assertions are always checked in both debug and release builds, and cannot
|
||||
/// be disabled. See `debug_assert_matches!` for assertions that are disabled in
|
||||
/// be disabled. See [`debug_assert_matches!`] for assertions that are disabled in
|
||||
/// release builds by default.
|
||||
///
|
||||
/// [`debug_assert_matches!`]: crate::debug_assert_matches
|
||||
///
|
||||
/// On panic, this macro will print the value of the expression with its debug representation.
|
||||
///
|
||||
/// Like [`assert!`], this macro has a second form, where a custom panic message can be provided.
|
||||
|
||||
@@ -1558,6 +1558,8 @@ fn supported_sanitizers(
|
||||
&["asan", "dfsan", "lsan", "msan", "safestack", "tsan", "rtsan"],
|
||||
),
|
||||
"x86_64-unknown-linux-gnuasan" => common_libs("linux", "x86_64", &["asan"]),
|
||||
"x86_64-unknown-linux-gnumsan" => common_libs("linux", "x86_64", &["msan"]),
|
||||
"x86_64-unknown-linux-gnutsan" => common_libs("linux", "x86_64", &["tsan"]),
|
||||
"x86_64-unknown-linux-musl" => {
|
||||
common_libs("linux", "x86_64", &["asan", "lsan", "msan", "tsan"])
|
||||
}
|
||||
|
||||
@@ -37,6 +37,8 @@ pub struct Finder {
|
||||
/// when the newly-bumped stage 0 compiler now knows about the formerly-missing targets.
|
||||
const STAGE0_MISSING_TARGETS: &[&str] = &[
|
||||
// just a dummy comment so the list doesn't get onelined
|
||||
"x86_64-unknown-linux-gnumsan",
|
||||
"x86_64-unknown-linux-gnutsan",
|
||||
];
|
||||
|
||||
/// Minimum version threshold for libstdc++ required when using prebuilt LLVM
|
||||
|
||||
@@ -124,6 +124,8 @@ ENV TARGETS=$TARGETS,x86_64-unknown-uefi
|
||||
ENV TARGETS=$TARGETS,riscv64gc-unknown-linux-musl
|
||||
|
||||
ENV TARGETS_SANITIZERS=x86_64-unknown-linux-gnuasan
|
||||
ENV TARGETS_SANITIZERS=$TARGETS_SANITIZERS,x86_64-unknown-linux-gnumsan
|
||||
ENV TARGETS_SANITIZERS=$TARGETS_SANITIZERS,x86_64-unknown-linux-gnutsan
|
||||
|
||||
# As per https://bugs.launchpad.net/ubuntu/+source/gcc-defaults/+bug/1300211
|
||||
# we need asm in the search path for gcc-9 (for gnux32) but not in the search path of the
|
||||
|
||||
@@ -155,5 +155,7 @@
|
||||
- [x86_64-unknown-linux-none](platform-support/x86_64-unknown-linux-none.md)
|
||||
- [x86_64-unknown-none](platform-support/x86_64-unknown-none.md)
|
||||
- [x86_64-unknown-linux-gnuasan](platform-support/x86_64-unknown-linux-gnuasan.md)
|
||||
- [x86_64-unknown-linux-gnumsan](platform-support/x86_64-unknown-linux-gnumsan.md)
|
||||
- [x86_64-unknown-linux-gnutsan](platform-support/x86_64-unknown-linux-gnutsan.md)
|
||||
- [xtensa-\*-none-elf](platform-support/xtensa.md)
|
||||
- [\*-nuttx-\*](platform-support/nuttx.md)
|
||||
|
||||
@@ -216,6 +216,8 @@ target | std | notes
|
||||
[`x86_64-fortanix-unknown-sgx`](platform-support/x86_64-fortanix-unknown-sgx.md) | ✓ | [Fortanix ABI] for 64-bit Intel SGX
|
||||
[`x86_64-linux-android`](platform-support/android.md) | ✓ | 64-bit x86 Android
|
||||
[`x86_64-unknown-linux-gnuasan`](platform-support/x86_64-unknown-linux-gnuasan.md) | ✓ | 64-bit Linux (kernel 3.2+, glibc 2.17+) with ASAN enabled by default
|
||||
[`x86_64-unknown-linux-gnumsan`](platform-support/x86_64-unknown-linux-gnumsan.md) | ✓ | 64-bit Linux (kernel 3.2+, glibc 2.17+) with MSAN enabled by default
|
||||
[`x86_64-unknown-linux-gnutsan`](platform-support/x86_64-unknown-linux-gnutsan.md) | ✓ | 64-bit Linux (kernel 3.2+, glibc 2.17+) with TSAN enabled by default
|
||||
[`x86_64-unknown-fuchsia`](platform-support/fuchsia.md) | ✓ | 64-bit x86 Fuchsia
|
||||
`x86_64-unknown-linux-gnux32` | ✓ | 64-bit Linux (x32 ABI) (kernel 4.15+, glibc 2.27)
|
||||
[`x86_64-unknown-none`](platform-support/x86_64-unknown-none.md) | * | Freestanding/bare-metal x86_64, softfloat
|
||||
|
||||
@@ -0,0 +1,56 @@
|
||||
# `x86_64-unknown-linux-gnumsan`
|
||||
|
||||
**Tier: 2**
|
||||
|
||||
Target mirroring `x86_64-unknown-linux-gnu` with MemorySanitizer enabled by
|
||||
default.
|
||||
The goal of this target is to allow shipping MSAN-instrumented standard
|
||||
libraries through rustup, enabling a fully instrumented binary without requiring
|
||||
nightly features (build-std).
|
||||
Once build-std stabilizes, this target is no longer needed and will be removed.
|
||||
|
||||
## Target maintainers
|
||||
|
||||
- [@jakos-sec](https://github.com/jakos-sec)
|
||||
- [@1c3t3a](https://github.com/1c3t3a)
|
||||
- [@rust-lang/project-exploit-mitigations][project-exploit-mitigations]
|
||||
|
||||
## Requirements
|
||||
|
||||
The target is for cross-compilation only. Host tools are not supported, since
|
||||
there is no need to have the host tools instrumented with MSAN. std is fully
|
||||
supported.
|
||||
|
||||
In all other aspects the target is equivalent to `x86_64-unknown-linux-gnu`.
|
||||
|
||||
## Building the target
|
||||
|
||||
The target can be built by enabling it for a rustc build:
|
||||
|
||||
```toml
|
||||
[build]
|
||||
target = ["x86_64-unknown-linux-gnumsan"]
|
||||
```
|
||||
|
||||
## Building Rust programs
|
||||
|
||||
Rust programs can be compiled by adding this target via rustup:
|
||||
|
||||
```sh
|
||||
$ rustup target add x86_64-unknown-linux-gnumsan
|
||||
```
|
||||
|
||||
and then compiling with the target:
|
||||
|
||||
```sh
|
||||
$ rustc foo.rs --target x86_64-unknown-linux-gnumsan
|
||||
```
|
||||
|
||||
## Testing
|
||||
|
||||
Created binaries will run on Linux without any external requirements.
|
||||
|
||||
## Cross-compilation toolchains and C code
|
||||
|
||||
The target supports C code and should use the same toolchain target as
|
||||
`x86_64-unknown-linux-gnu`.
|
||||
@@ -0,0 +1,56 @@
|
||||
# `x86_64-unknown-linux-gnutsan`
|
||||
|
||||
**Tier: 2**
|
||||
|
||||
Target mirroring `x86_64-unknown-linux-gnu` with ThreadSanitizer enabled by
|
||||
default.
|
||||
The goal of this target is to allow shipping TSAN-instrumented standard
|
||||
libraries through rustup, enabling a fully instrumented binary without requiring
|
||||
nightly features (build-std).
|
||||
Once build-std stabilizes, this target is no longer needed and will be removed.
|
||||
|
||||
## Target maintainers
|
||||
|
||||
- [@jakos-sec](https://github.com/jakos-sec)
|
||||
- [@1c3t3a](https://github.com/1c3t3a)
|
||||
- [@rust-lang/project-exploit-mitigations][project-exploit-mitigations]
|
||||
|
||||
## Requirements
|
||||
|
||||
The target is for cross-compilation only. Host tools are not supported, since
|
||||
there is no need to have the host tools instrumented with TSAN. std is fully
|
||||
supported.
|
||||
|
||||
In all other aspects the target is equivalent to `x86_64-unknown-linux-gnu`.
|
||||
|
||||
## Building the target
|
||||
|
||||
The target can be built by enabling it for a rustc build:
|
||||
|
||||
```toml
|
||||
[build]
|
||||
target = ["x86_64-unknown-linux-gnutsan"]
|
||||
```
|
||||
|
||||
## Building Rust programs
|
||||
|
||||
Rust programs can be compiled by adding this target via rustup:
|
||||
|
||||
```sh
|
||||
$ rustup target add x86_64-unknown-linux-gnutsan
|
||||
```
|
||||
|
||||
and then compiling with the target:
|
||||
|
||||
```sh
|
||||
$ rustc foo.rs --target x86_64-unknown-linux-gnutsan
|
||||
```
|
||||
|
||||
## Testing
|
||||
|
||||
Created binaries will run on Linux without any external requirements.
|
||||
|
||||
## Cross-compilation toolchains and C code
|
||||
|
||||
The target supports C code and should use the same toolchain target as
|
||||
`x86_64-unknown-linux-gnu`.
|
||||
@@ -709,6 +709,12 @@
|
||||
//@ revisions: x86_64_unknown_linux_gnuasan
|
||||
//@ [x86_64_unknown_linux_gnuasan] compile-flags: --target x86_64-unknown-linux-gnuasan
|
||||
//@ [x86_64_unknown_linux_gnuasan] needs-llvm-components: x86
|
||||
//@ revisions: x86_64_unknown_linux_gnumsan
|
||||
//@ [x86_64_unknown_linux_gnumsan] compile-flags: --target x86_64-unknown-linux-gnumsan
|
||||
//@ [x86_64_unknown_linux_gnumsan] needs-llvm-components: x86
|
||||
//@ revisions: x86_64_unknown_linux_gnutsan
|
||||
//@ [x86_64_unknown_linux_gnutsan] compile-flags: --target x86_64-unknown-linux-gnutsan
|
||||
//@ [x86_64_unknown_linux_gnutsan] needs-llvm-components: x86
|
||||
//@ revisions: x86_64_unknown_linux_musl
|
||||
//@ [x86_64_unknown_linux_musl] compile-flags: --target x86_64-unknown-linux-musl
|
||||
//@ [x86_64_unknown_linux_musl] needs-llvm-components: x86
|
||||
|
||||
@@ -0,0 +1,19 @@
|
||||
#![feature(prelude_import)]
|
||||
#![no_std]
|
||||
extern crate std;
|
||||
#[prelude_import]
|
||||
use ::std::prelude::rust_2015::*;
|
||||
//@ pretty-mode:expanded
|
||||
//@ pp-exact:asm-operand-order.pp
|
||||
//@ only-x86_64
|
||||
|
||||
use std::arch::asm;
|
||||
|
||||
pub fn main() {
|
||||
unsafe {
|
||||
asm!("{0}", in(reg) 4, out("rax") _);
|
||||
asm!("{0}", in(reg) 4, out("rax") _, options(nostack));
|
||||
asm!("{0} {1}", in(reg) 4, in(reg) 5, out("rax") _);
|
||||
asm!("{0}", const 5, out("rax") _);
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,14 @@
|
||||
//@ pretty-mode:expanded
|
||||
//@ pp-exact:asm-operand-order.pp
|
||||
//@ only-x86_64
|
||||
|
||||
use std::arch::asm;
|
||||
|
||||
pub fn main() {
|
||||
unsafe {
|
||||
asm!("{val}", out("rax") _, val = in(reg) 4);
|
||||
asm!("{val}", out("rax") _, val = in(reg) 4, options(nostack));
|
||||
asm!("{a} {b}", out("rax") _, a = in(reg) 4, b = in(reg) 5);
|
||||
asm!("{val}", out("rax") _, val = const 5);
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,31 @@
|
||||
// Test for #115223, which causes a deadlock bug without finding the cycle
|
||||
//@ build-pass
|
||||
#![crate_name = "foo"]
|
||||
|
||||
use std::ops;
|
||||
|
||||
pub struct Foo;
|
||||
|
||||
impl Foo {
|
||||
pub fn foo(&mut self) {}
|
||||
}
|
||||
|
||||
pub struct Bar {
|
||||
foo: Foo,
|
||||
}
|
||||
|
||||
impl ops::Deref for Bar {
|
||||
type Target = Foo;
|
||||
|
||||
fn deref(&self) -> &Foo {
|
||||
&self.foo
|
||||
}
|
||||
}
|
||||
|
||||
impl ops::DerefMut for Bar {
|
||||
fn deref_mut(&mut self) -> &mut Foo {
|
||||
&mut self.foo
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {}
|
||||
@@ -0,0 +1,12 @@
|
||||
// Test for #151358, assertion failed: !worker_thread.is_null()
|
||||
//~^ ERROR cycle detected when looking up span for `Default`
|
||||
//
|
||||
//@ compile-flags: -Z threads=2
|
||||
//@ compare-output-by-lines
|
||||
|
||||
trait Default {}
|
||||
use std::num::NonZero;
|
||||
fn main() {
|
||||
NonZero();
|
||||
todo!();
|
||||
}
|
||||
@@ -0,0 +1,9 @@
|
||||
error[E0391]: cycle detected when looking up span for `Default`
|
||||
|
|
||||
= note: ...which immediately requires looking up span for `Default` again
|
||||
= note: cycle used when perform lints prior to AST lowering
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error: aborting due to 1 previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0391`.
|
||||
@@ -0,0 +1,127 @@
|
||||
// Test for #120757, deadlock due to query cycle
|
||||
|
||||
#![feature(generic_const_exprs)]
|
||||
|
||||
trait TensorDimension {
|
||||
const DIM: usize;
|
||||
const ISSCALAR: bool = Self::DIM == 0;
|
||||
fn is_scalar(&self) -> bool {
|
||||
Self::ISSCALAR
|
||||
}
|
||||
}
|
||||
|
||||
trait TensorSize: TensorDimension {
|
||||
fn size(&self) -> [usize; Self::DIM];
|
||||
fn inbounds(&self, index: [usize; Self::DIM]) -> bool {
|
||||
index.iter().zip(self.size().iter()).all(|(i, s)| i < s)
|
||||
}
|
||||
}
|
||||
|
||||
trait Broadcastable: TensorSize + Sized {
|
||||
type Element;
|
||||
fn bget(&self, index: [usize; Self::DIM]) -> Option<Self::Element>;
|
||||
fn lazy_updim<const NEWDIM: usize>(
|
||||
&self,
|
||||
size: [usize; NEWDIM],
|
||||
) -> LazyUpdim<Self, { Self::DIM }, NEWDIM> {
|
||||
assert!(
|
||||
NEWDIM >= Self::DIM,
|
||||
"Updimmed tensor cannot have fewer indices than the initial one."
|
||||
);
|
||||
LazyUpdim { size, reference: &self }
|
||||
}
|
||||
fn bmap<T, F: Fn(Self::Element) -> T>(&self, foo: F) -> BMap<T, Self, F, { Self::DIM }> {
|
||||
BMap { reference: self, closure: foo }
|
||||
}
|
||||
}
|
||||
|
||||
struct LazyUpdim<'a, T: Broadcastable, const OLDDIM: usize, const DIM: usize> {
|
||||
size: [usize; DIM],
|
||||
reference: &'a T,
|
||||
}
|
||||
|
||||
impl<'a, T: Broadcastable, const DIM: usize> TensorDimension for LazyUpdim<'a, T, { T::DIM }, DIM> {
|
||||
const DIM: usize = DIM;
|
||||
}
|
||||
impl<'a, T: Broadcastable, const DIM: usize> TensorSize for LazyUpdim<'a, T, { T::DIM }, DIM> {
|
||||
fn size(&self) -> [usize; DIM] {
|
||||
//~^ ERROR method not compatible with trait
|
||||
self.size
|
||||
}
|
||||
}
|
||||
impl<'a, T: Broadcastable, const DIM: usize> Broadcastable for LazyUpdim<'a, T, { T::DIM }, DIM> {
|
||||
type Element = T::Element;
|
||||
fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> {
|
||||
//~^ ERROR method not compatible with trait
|
||||
assert!(DIM >= T::DIM);
|
||||
if !self.inbounds(index) {
|
||||
//~^ ERROR unconstrained generic constant
|
||||
//~| ERROR mismatched types
|
||||
return None;
|
||||
}
|
||||
let size = self.size();
|
||||
//~^ ERROR unconstrained generic constant
|
||||
|
||||
let newindex: [usize; T::DIM] = Default::default();
|
||||
//~^ ERROR the trait bound `[usize; T::DIM]: Default` is not satisfied
|
||||
self.reference.bget(newindex)
|
||||
}
|
||||
}
|
||||
|
||||
struct BMap<'a, R, T: Broadcastable, F: Fn(T::Element) -> R, const DIM: usize> {
|
||||
reference: &'a T,
|
||||
closure: F,
|
||||
}
|
||||
|
||||
impl<'a, R, T: Broadcastable, F: Fn(T::Element) -> R, const DIM: usize> TensorDimension
|
||||
for BMap<'a, R, T, F, DIM>
|
||||
{
|
||||
const DIM: usize = DIM;
|
||||
}
|
||||
impl<'a, R, T: Broadcastable, F: Fn(T::Element) -> R, const DIM: usize> TensorSize
|
||||
for BMap<'a, R, T, F, DIM>
|
||||
{
|
||||
fn size(&self) -> [usize; DIM] {
|
||||
//~^ ERROR method not compatible with trait
|
||||
self.reference.size()
|
||||
//~^ ERROR unconstrained generic constant
|
||||
//~| ERROR mismatched types
|
||||
}
|
||||
}
|
||||
impl<'a, R, T: Broadcastable, F: Fn(T::Element) -> R, const DIM: usize> Broadcastable
|
||||
for BMap<'a, R, T, F, DIM>
|
||||
{
|
||||
type Element = R;
|
||||
fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> {
|
||||
//~^ ERROR method not compatible with trait
|
||||
self.reference.bget(index).map(ns_window)
|
||||
//~^ ERROR unconstrained generic constant
|
||||
//~| ERROR mismatched types
|
||||
//~| ERROR cannot find value `ns_window` in this scope
|
||||
}
|
||||
}
|
||||
|
||||
impl<T> TensorDimension for Vec<T> {
|
||||
const DIM: usize = 1;
|
||||
}
|
||||
impl<T> TensorSize for Vec<T> {
|
||||
fn size(&self) -> [usize; 1] {
|
||||
//~^ ERROR method not compatible with trait
|
||||
[self.len()]
|
||||
}
|
||||
}
|
||||
impl<T: Clone> Broadcastable for Vec<T> {
|
||||
type Element = T;
|
||||
fn bget(&self, index: [usize; 1]) -> Option<T> {
|
||||
//~^ ERROR method not compatible with trait
|
||||
self.get(index[0]).cloned()
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let v = vec![1, 2, 3];
|
||||
let bv = v.lazy_updim([3, 4]);
|
||||
let bbv = bv.bmap(|x| x * x);
|
||||
|
||||
println!("The size of v is {:?}", bbv.bget([0, 2]).expect("Out of bounds."));
|
||||
}
|
||||
@@ -0,0 +1,166 @@
|
||||
error[E0425]: cannot find value `ns_window` in this scope
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:97:40
|
||||
|
|
||||
LL | self.reference.bget(index).map(ns_window)
|
||||
| ^^^^^^^^^ not found in this scope
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:47:5
|
||||
|
|
||||
LL | fn size(&self) -> [usize; DIM] {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:54:5
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:84:5
|
||||
|
|
||||
LL | fn size(&self) -> [usize; DIM] {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:95:5
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:108:5
|
||||
|
|
||||
LL | fn size(&self) -> [usize; 1] {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `1`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `1`
|
||||
|
||||
error[E0308]: method not compatible with trait
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:115:5
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; 1]) -> Option<T> {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `1`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `1`
|
||||
|
||||
error: unconstrained generic constant
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:57:13
|
||||
|
|
||||
LL | if !self.inbounds(index) {
|
||||
| ^^^^
|
||||
|
|
||||
note: required by a bound in `TensorSize::inbounds`
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:15:39
|
||||
|
|
||||
LL | fn inbounds(&self, index: [usize; Self::DIM]) -> bool {
|
||||
| ^^^^^^^^^ required by this bound in `TensorSize::inbounds`
|
||||
help: try adding a `where` bound
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> where [(); Self::DIM]: {
|
||||
| ++++++++++++++++++++++
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:57:27
|
||||
|
|
||||
LL | if !self.inbounds(index) {
|
||||
| ^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error: unconstrained generic constant
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:62:25
|
||||
|
|
||||
LL | let size = self.size();
|
||||
| ^^^^
|
||||
|
|
||||
note: required by a bound in `TensorSize::size`
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:14:31
|
||||
|
|
||||
LL | fn size(&self) -> [usize; Self::DIM];
|
||||
| ^^^^^^^^^ required by this bound in `TensorSize::size`
|
||||
help: try adding a `where` bound
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> where [(); Self::DIM]: {
|
||||
| ++++++++++++++++++++++
|
||||
|
||||
error[E0277]: the trait bound `[usize; T::DIM]: Default` is not satisfied
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:65:41
|
||||
|
|
||||
LL | let newindex: [usize; T::DIM] = Default::default();
|
||||
| ^^^^^^^^^^^^^^^^^^ the trait `Default` is not implemented for `[usize; T::DIM]`
|
||||
|
|
||||
help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
|
||||
|
|
||||
LL | impl<'a, T: Broadcastable, const DIM: usize> Broadcastable for LazyUpdim<'a, T, { T::DIM }, DIM> where [usize; T::DIM]: Default {
|
||||
| ++++++++++++++++++++++++++++++
|
||||
|
||||
error: unconstrained generic constant
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:86:24
|
||||
|
|
||||
LL | self.reference.size()
|
||||
| ^^^^
|
||||
|
|
||||
note: required by a bound in `TensorSize::size`
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:14:31
|
||||
|
|
||||
LL | fn size(&self) -> [usize; Self::DIM];
|
||||
| ^^^^^^^^^ required by this bound in `TensorSize::size`
|
||||
help: try adding a `where` bound
|
||||
|
|
||||
LL | fn size(&self) -> [usize; DIM] where [(); Self::DIM]: {
|
||||
| ++++++++++++++++++++++
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:86:9
|
||||
|
|
||||
LL | self.reference.size()
|
||||
| ^^^^^^^^^^^^^^^^^^^^^ expected `DIM`, found `Self::DIM`
|
||||
|
|
||||
= note: expected constant `DIM`
|
||||
found constant `Self::DIM`
|
||||
|
||||
error: unconstrained generic constant
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:97:9
|
||||
|
|
||||
LL | self.reference.bget(index).map(ns_window)
|
||||
| ^^^^^^^^^^^^^^
|
||||
|
|
||||
note: required by a bound in `Broadcastable::bget`
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:22:35
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; Self::DIM]) -> Option<Self::Element>;
|
||||
| ^^^^^^^^^ required by this bound in `Broadcastable::bget`
|
||||
help: try adding a `where` bound
|
||||
|
|
||||
LL | fn bget(&self, index: [usize; DIM]) -> Option<Self::Element> where [(); Self::DIM]: {
|
||||
| ++++++++++++++++++++++
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-120757.rs:97:29
|
||||
|
|
||||
LL | self.reference.bget(index).map(ns_window)
|
||||
| ^^^^^ expected `Self::DIM`, found `DIM`
|
||||
|
|
||||
= note: expected constant `Self::DIM`
|
||||
found constant `DIM`
|
||||
|
||||
error: aborting due to 15 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0277, E0308, E0425.
|
||||
For more information about an error, try `rustc --explain E0277`.
|
||||
@@ -0,0 +1,20 @@
|
||||
// Test for #134978, deadlock detected as we're unable to find a query cycle to break
|
||||
|
||||
#![feature(generic_const_exprs)]
|
||||
|
||||
pub struct Struct<const N: usize>;
|
||||
|
||||
impl<const N: usize> Struct<N> {
|
||||
pub const OK: usize = 0;
|
||||
}
|
||||
|
||||
fn main() {
|
||||
function::<0>();
|
||||
}
|
||||
|
||||
fn function<const NUM_CARDS: usize>()
|
||||
where
|
||||
[(); Struct::<{ NUM_CARDS + 0 }>::OK]:,
|
||||
//~^ ERROR cycle detected when building an abstract representation
|
||||
{
|
||||
}
|
||||
@@ -0,0 +1,29 @@
|
||||
error[E0391]: cycle detected when building an abstract representation for `function::{constant#0}`
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-134978.rs:17:10
|
||||
|
|
||||
LL | [(); Struct::<{ NUM_CARDS + 0 }>::OK]:,
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||
|
|
||||
note: ...which requires building THIR for `function::{constant#0}`...
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-134978.rs:17:10
|
||||
|
|
||||
LL | [(); Struct::<{ NUM_CARDS + 0 }>::OK]:,
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||
note: ...which requires type-checking `function::{constant#0}`...
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-134978.rs:17:10
|
||||
|
|
||||
LL | [(); Struct::<{ NUM_CARDS + 0 }>::OK]:,
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||
= note: ...which again requires building an abstract representation for `function::{constant#0}`, completing the cycle
|
||||
note: cycle used when checking that `function` is well-formed
|
||||
--> $DIR/generic-const-exprs-deadlock-issue-134978.rs:15:1
|
||||
|
|
||||
LL | / fn function<const NUM_CARDS: usize>()
|
||||
LL | | where
|
||||
LL | | [(); Struct::<{ NUM_CARDS + 0 }>::OK]:,
|
||||
| |___________________________________________^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error: aborting due to 1 previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0391`.
|
||||
@@ -0,0 +1,82 @@
|
||||
// Test for #120786, which causes an ice bug: infer: `None`
|
||||
|
||||
fn no_err() {
|
||||
|x: u32, y| x;
|
||||
//~^ ERROR type annotations needed
|
||||
let _ = String::from("x");
|
||||
}
|
||||
|
||||
fn err() {
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
}
|
||||
|
||||
fn arg_pat_closure_err() {
|
||||
|x| String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
}
|
||||
|
||||
fn local_pat_closure_err() {
|
||||
let _ = "x".as_ref();
|
||||
//~^ ERROR type annotations needed
|
||||
}
|
||||
|
||||
fn err_first_arg_pat() {
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
|x: String| x;
|
||||
}
|
||||
|
||||
fn err_second_arg_pat() {
|
||||
|x: String| x;
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
}
|
||||
|
||||
fn err_mid_arg_pat() {
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
|x: String| x;
|
||||
}
|
||||
|
||||
fn err_first_local_pat() {
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
let _ = String::from("x");
|
||||
}
|
||||
|
||||
fn err_second_local_pat() {
|
||||
let _ = String::from("x");
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
}
|
||||
|
||||
fn err_mid_local_pat() {
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
String::from("x".as_ref());
|
||||
//~^ ERROR type annotations needed
|
||||
//~| ERROR type annotations needed
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
let _ = String::from("x");
|
||||
}
|
||||
|
||||
fn main() {}
|
||||
@@ -0,0 +1,256 @@
|
||||
error[E0282]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:4:14
|
||||
|
|
||||
LL | |x: u32, y| x;
|
||||
| ^
|
||||
|
|
||||
help: consider giving this closure parameter an explicit type
|
||||
|
|
||||
LL | |x: u32, y: /* Type */| x;
|
||||
| ++++++++++++
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:10:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:10:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:16:9
|
||||
|
|
||||
LL | |x| String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:16:26
|
||||
|
|
||||
LL | |x| String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - |x| String::from("x".as_ref());
|
||||
LL + |x| String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed for `&_`
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:22:9
|
||||
|
|
||||
LL | let _ = "x".as_ref();
|
||||
| ^ ------ type must be known at this point
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: consider giving this pattern a type, where the type for type parameter `T` is specified
|
||||
|
|
||||
LL | let _: &T = "x".as_ref();
|
||||
| ++++
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:27:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:27:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:35:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:35:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:45:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:45:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:55:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:55:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:63:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:63:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:73:5
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^ cannot infer type for reference `&_`
|
||||
|
|
||||
= note: multiple `impl`s satisfying `String: From<&_>` found in the `alloc` crate:
|
||||
- impl From<&String> for String;
|
||||
- impl From<&str> for String;
|
||||
|
||||
error[E0283]: type annotations needed
|
||||
--> $DIR/infer-unwrap-none-issue-120786.rs:73:22
|
||||
|
|
||||
LL | String::from("x".as_ref());
|
||||
| ^^^^^^
|
||||
|
|
||||
= note: multiple `impl`s satisfying `str: AsRef<_>` found in the following crates: `core`, `std`:
|
||||
- impl AsRef<ByteStr> for str;
|
||||
- impl AsRef<OsStr> for str;
|
||||
- impl AsRef<Path> for str;
|
||||
- impl AsRef<[u8]> for str;
|
||||
- impl AsRef<str> for str;
|
||||
help: try using a fully qualified path to specify the expected types
|
||||
|
|
||||
LL - String::from("x".as_ref());
|
||||
LL + String::from(<str as AsRef<T>>::as_ref("x"));
|
||||
|
|
||||
|
||||
error: aborting due to 18 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0282, E0283.
|
||||
For more information about an error, try `rustc --explain E0282`.
|
||||
@@ -0,0 +1,89 @@
|
||||
// Test for #129911, deadlock detected as we're unable to find a query cycle to break
|
||||
|
||||
fn main() {
|
||||
type KooArc = Frc<
|
||||
//~^ ERROR cannot find type `Frc` in this scope
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
}
|
||||
type Frc = Frc<
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
}
|
||||
type Frc = Frc<
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
}
|
||||
type Frc = Frc<
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
}
|
||||
type Frc = Frc<
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
{
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
};
|
||||
}
|
||||
type Frc = Frc<
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
{
|
||||
{
|
||||
{
|
||||
{};
|
||||
};
|
||||
}
|
||||
type Frc = Frc<{}>::Arc;;
|
||||
//~^ ERROR type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
//~| ERROR cycle detected when expanding type alias
|
||||
},
|
||||
>::Arc;;
|
||||
},
|
||||
>::Arc;;
|
||||
},
|
||||
>::Arc;;
|
||||
},
|
||||
>::Arc;;
|
||||
},
|
||||
>::Arc;;
|
||||
},
|
||||
>::Arc;
|
||||
}
|
||||
@@ -0,0 +1,391 @@
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:11:28
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:11:22
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:11:28
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:11:17
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:15:24
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ________________________^^^-
|
||||
| | |
|
||||
| | expected 0 generic arguments
|
||||
... |
|
||||
LL | | },
|
||||
LL | | >::Arc;;
|
||||
| |_____________- help: remove the unnecessary generics
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:15:18
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:15:24
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ________________________^
|
||||
... |
|
||||
LL | | },
|
||||
LL | | >::Arc;;
|
||||
| |_____________^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:15:13
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:23:36
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:23:30
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:23:36
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:23:25
|
||||
|
|
||||
LL | type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:27:32
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ________________________________^^^-
|
||||
| | |
|
||||
| | expected 0 generic arguments
|
||||
... |
|
||||
LL | | },
|
||||
LL | | >::Arc;;
|
||||
| |_____________________- help: remove the unnecessary generics
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:27:26
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:27:32
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ________________________________^
|
||||
... |
|
||||
LL | | },
|
||||
LL | | >::Arc;;
|
||||
| |_____________________^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:27:21
|
||||
|
|
||||
LL | type Frc = Frc<
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:35:44
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:35:38
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:35:44
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:35:33
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:39:40
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^^^-
|
||||
| | |
|
||||
| | expected 0 generic arguments
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________- help: remove the unnecessary generics
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:39:34
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:39:40
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:39:29
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:47:52
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:47:46
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:47:52
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:47:41
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:51:48
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^^^-
|
||||
| | |
|
||||
| | expected 0 generic arguments
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________- help: remove the unnecessary generics
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:51:42
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:51:48
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:51:37
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:60:64
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:60:58
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:60:64
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:60:53
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:65:56
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^^^-
|
||||
| | |
|
||||
| | expected 0 generic arguments
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________- help: remove the unnecessary generics
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:65:50
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:65:56
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| __________________________________^
|
||||
... |
|
||||
LL | | ... },
|
||||
LL | | ... >::Arc;;
|
||||
| |_______________________^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:65:45
|
||||
|
|
||||
LL | ... type Frc = Frc<
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0107]: type alias takes 0 generic arguments but 1 generic argument was supplied
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:74:64
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^---- help: remove the unnecessary generics
|
||||
| |
|
||||
| expected 0 generic arguments
|
||||
|
|
||||
note: type alias defined here, with 0 generic parameters
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:74:58
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^
|
||||
|
||||
error[E0391]: cycle detected when expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc`
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:74:64
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^
|
||||
|
|
||||
= note: ...which immediately requires expanding type alias `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` again
|
||||
= note: type aliases cannot be recursive
|
||||
= help: consider using a struct, enum, or union instead to break the cycle
|
||||
= help: see <https://doc.rust-lang.org/reference/types.html#recursive-types> for more information
|
||||
note: cycle used when checking that `main::KooArc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc::{constant#0}::Frc` is well-formed
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:74:53
|
||||
|
|
||||
LL | ... type Frc = Frc<{}>::Arc;;
|
||||
| ^^^^^^^^
|
||||
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
|
||||
|
||||
error[E0433]: cannot find type `Frc` in this scope
|
||||
--> $DIR/nested-type-alias-cycle-issue-129911.rs:4:19
|
||||
|
|
||||
LL | type KooArc = Frc<
|
||||
| ^^^ use of undeclared type `Frc`
|
||||
|
||||
error: aborting due to 23 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0107, E0391, E0433.
|
||||
For more information about an error, try `rustc --explain E0107`.
|
||||
@@ -0,0 +1,97 @@
|
||||
// Test for #129912, which causes a deadlock bug without finding a cycle
|
||||
|
||||
#![feature(generators)]
|
||||
//~^ ERROR feature has been removed
|
||||
#![allow(unconditional_recursion)]
|
||||
|
||||
fn option(i: i32) -> impl Sync {
|
||||
if generator_sig() < 0 { None } else { Sized((option(i - Sized), i)) }
|
||||
//~^ ERROR expected value, found trait `Sized`
|
||||
//~| ERROR expected function, tuple struct or tuple variant, found trait `Sized`
|
||||
}
|
||||
|
||||
fn tuple() -> impl Sized {
|
||||
(tuple(),)
|
||||
}
|
||||
|
||||
fn array() -> _ {
|
||||
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for return types
|
||||
[array()]
|
||||
}
|
||||
|
||||
fn ptr() -> _ {
|
||||
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for return types
|
||||
&ptr() as *const impl Sized
|
||||
//~^ ERROR `impl Trait` is not allowed in cast expression types
|
||||
}
|
||||
|
||||
fn fn_ptr() -> impl Sized {
|
||||
fn_ptr as fn() -> _
|
||||
}
|
||||
|
||||
fn closure_capture() -> impl Sized {
|
||||
let x = closure_capture();
|
||||
move || {
|
||||
x;
|
||||
}
|
||||
}
|
||||
|
||||
fn closure_ref_capture() -> impl Sized {
|
||||
let x = closure_ref_capture();
|
||||
move || {
|
||||
&x;
|
||||
}
|
||||
}
|
||||
|
||||
fn closure_sig() -> _ {
|
||||
//~^ ERROR the placeholder `_` is not allowed within types on item signatures for return types
|
||||
|| closure_sig()
|
||||
}
|
||||
|
||||
fn generator_sig() -> impl Sized {
|
||||
|| i
|
||||
//~^ ERROR cannot find value `i` in this scope
|
||||
}
|
||||
|
||||
fn generator_capture() -> impl i32 {
|
||||
//~^ ERROR expected trait, found builtin type `i32`
|
||||
let x = 1();
|
||||
move || {
|
||||
yield;
|
||||
//~^ ERROR yield syntax is experimental
|
||||
//~| ERROR yield syntax is experimental
|
||||
//~| ERROR `yield` can only be used in `#[coroutine]` closures, or `gen` blocks
|
||||
x;
|
||||
}
|
||||
}
|
||||
|
||||
fn substs_change<T: 'static>() -> impl Sized {
|
||||
(substs_change::<&T>(),)
|
||||
}
|
||||
|
||||
fn generator_hold() -> impl generator_capture {
|
||||
//~^ ERROR expected trait, found function `generator_capture`
|
||||
move || {
|
||||
let x = ();
|
||||
yield;
|
||||
//~^ ERROR yield syntax is experimental
|
||||
//~| ERROR yield syntax is experimental
|
||||
//~| ERROR `yield` can only be used in `#[coroutine]` closures, or `gen` blocks
|
||||
x virtual ;
|
||||
//~^ ERROR expected one of
|
||||
}
|
||||
}
|
||||
|
||||
fn use_fn_ptr() -> impl Sized {
|
||||
fn_ptr()
|
||||
}
|
||||
|
||||
fn mutual_recursion() -> impl Sync {
|
||||
mutual_recursion_b()
|
||||
}
|
||||
|
||||
fn mutual_recursion_b() -> impl Sized {
|
||||
mutual_recursion()
|
||||
}
|
||||
|
||||
fn main() {}
|
||||
@@ -0,0 +1,137 @@
|
||||
error: expected one of `!`, `.`, `::`, `;`, `?`, `{`, `}`, or an operator, found reserved keyword `virtual`
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:80:11
|
||||
|
|
||||
LL | x virtual ;
|
||||
| ^^^^^^^ expected one of 8 possible tokens
|
||||
|
||||
error[E0557]: feature has been removed
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:3:12
|
||||
|
|
||||
LL | #![feature(generators)]
|
||||
| ^^^^^^^^^^ feature has been removed
|
||||
|
|
||||
= note: removed in 1.75.0; see <https://github.com/rust-lang/rust/pull/116958> for more information
|
||||
= note: renamed to `coroutines`
|
||||
|
||||
error[E0423]: expected value, found trait `Sized`
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:8:62
|
||||
|
|
||||
LL | if generator_sig() < 0 { None } else { Sized((option(i - Sized), i)) }
|
||||
| ^^^^^ not a value
|
||||
|
||||
error[E0425]: cannot find value `i` in this scope
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:52:8
|
||||
|
|
||||
LL | || i
|
||||
| ^ not found in this scope
|
||||
|
||||
error[E0404]: expected trait, found builtin type `i32`
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:56:32
|
||||
|
|
||||
LL | fn generator_capture() -> impl i32 {
|
||||
| ^^^ not a trait
|
||||
|
||||
error[E0404]: expected trait, found function `generator_capture`
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:72:29
|
||||
|
|
||||
LL | fn generator_hold() -> impl generator_capture {
|
||||
| ^^^^^^^^^^^^^^^^^ not a trait
|
||||
|
||||
error[E0658]: yield syntax is experimental
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:60:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
= note: see issue #43122 <https://github.com/rust-lang/rust/issues/43122> for more information
|
||||
= help: add `#![feature(yield_expr)]` to the crate attributes to enable
|
||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||
|
||||
error[E0658]: yield syntax is experimental
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:76:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
= note: see issue #43122 <https://github.com/rust-lang/rust/issues/43122> for more information
|
||||
= help: add `#![feature(yield_expr)]` to the crate attributes to enable
|
||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||
|
||||
error[E0562]: `impl Trait` is not allowed in cast expression types
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:24:22
|
||||
|
|
||||
LL | &ptr() as *const impl Sized
|
||||
| ^^^^^^^^^^
|
||||
|
|
||||
= note: `impl Trait` is only allowed in arguments and return types of functions and methods
|
||||
|
||||
error[E0658]: yield syntax is experimental
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:60:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
= note: see issue #43122 <https://github.com/rust-lang/rust/issues/43122> for more information
|
||||
= help: add `#![feature(yield_expr)]` to the crate attributes to enable
|
||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||
|
||||
error: `yield` can only be used in `#[coroutine]` closures, or `gen` blocks
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:60:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
help: use `#[coroutine]` to make this closure a coroutine
|
||||
|
|
||||
LL | #[coroutine] move || {
|
||||
| ++++++++++++
|
||||
|
||||
error[E0658]: yield syntax is experimental
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:76:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
= note: see issue #43122 <https://github.com/rust-lang/rust/issues/43122> for more information
|
||||
= help: add `#![feature(yield_expr)]` to the crate attributes to enable
|
||||
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
||||
|
||||
error: `yield` can only be used in `#[coroutine]` closures, or `gen` blocks
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:76:9
|
||||
|
|
||||
LL | yield;
|
||||
| ^^^^^
|
||||
|
|
||||
help: use `#[coroutine]` to make this closure a coroutine
|
||||
|
|
||||
LL | #[coroutine] move || {
|
||||
| ++++++++++++
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:17:15
|
||||
|
|
||||
LL | fn array() -> _ {
|
||||
| ^ not allowed in type signatures
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:22:13
|
||||
|
|
||||
LL | fn ptr() -> _ {
|
||||
| ^ not allowed in type signatures
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:46:21
|
||||
|
|
||||
LL | fn closure_sig() -> _ {
|
||||
| ^ not allowed in type signatures
|
||||
|
||||
error[E0423]: expected function, tuple struct or tuple variant, found trait `Sized`
|
||||
--> $DIR/recursive-impl-trait-deadlock-issue-129912.rs:8:44
|
||||
|
|
||||
LL | if generator_sig() < 0 { None } else { Sized((option(i - Sized), i)) }
|
||||
| ^^^^^ not a function, tuple struct or tuple variant
|
||||
|
||||
error: aborting due to 17 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0121, E0404, E0423, E0425, E0557, E0562, E0658.
|
||||
For more information about an error, try `rustc --explain E0121`.
|
||||
@@ -0,0 +1,9 @@
|
||||
// Test for #151226, Unable to verify registry association
|
||||
//
|
||||
//@ compile-flags: -Z threads=2
|
||||
//@ compare-output-by-lines
|
||||
|
||||
struct A<T>(std::sync::OnceLock<Self>);
|
||||
//~^ ERROR recursive type `A` has infinite size
|
||||
static B: A<()> = todo!();
|
||||
fn main() {}
|
||||
@@ -0,0 +1,14 @@
|
||||
error[E0072]: recursive type `A` has infinite size
|
||||
--> $DIR/recursive-struct-oncelock-issue-151226.rs:6:1
|
||||
|
|
||||
LL | struct A<T>(std::sync::OnceLock<Self>);
|
||||
| ^^^^^^^^^^^ ------------------------- recursive without indirection
|
||||
|
|
||||
help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to break the cycle
|
||||
|
|
||||
LL | struct A<T>(Box<std::sync::OnceLock<Self>>);
|
||||
| ++++ +
|
||||
|
||||
error: aborting due to 1 previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0072`.
|
||||
@@ -0,0 +1,18 @@
|
||||
// Test for #142064, internal error: entered unreachable code
|
||||
//
|
||||
//@ compile-flags: -Zthreads=2
|
||||
//@ compare-output-by-lines
|
||||
|
||||
#![crate_type = "rlib"]
|
||||
trait A { fn foo() -> A; }
|
||||
//~^ WARN trait objects without an explicit `dyn` are deprecated
|
||||
//~| WARN this is accepted in the current edition
|
||||
//~| WARN trait objects without an explicit `dyn` are deprecated
|
||||
//~| WARN this is accepted in the current edition
|
||||
//~| ERROR the trait `A` is not dyn compatible
|
||||
trait B { fn foo() -> A; }
|
||||
//~^ WARN trait objects without an explicit `dyn` are deprecated
|
||||
//~| WARN this is accepted in the current edition
|
||||
//~| WARN trait objects without an explicit `dyn` are deprecated
|
||||
//~| WARN this is accepted in the current edition
|
||||
//~| ERROR the trait `A` is not dyn compatible
|
||||
@@ -0,0 +1,114 @@
|
||||
warning: trait objects without an explicit `dyn` are deprecated
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:7:23
|
||||
|
|
||||
LL | trait A { fn foo() -> A; }
|
||||
| ^
|
||||
|
|
||||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
||||
= note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
|
||||
= note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
|
||||
help: if this is a dyn-compatible trait, use `dyn`
|
||||
|
|
||||
LL | trait A { fn foo() -> dyn A; }
|
||||
| +++
|
||||
|
||||
warning: trait objects without an explicit `dyn` are deprecated
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:13:23
|
||||
|
|
||||
LL | trait B { fn foo() -> A; }
|
||||
| ^
|
||||
|
|
||||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
||||
= note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
|
||||
help: if this is a dyn-compatible trait, use `dyn`
|
||||
|
|
||||
LL | trait B { fn foo() -> dyn A; }
|
||||
| +++
|
||||
|
||||
warning: trait objects without an explicit `dyn` are deprecated
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:7:23
|
||||
|
|
||||
LL | trait A { fn foo() -> A; }
|
||||
| ^
|
||||
|
|
||||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
||||
= note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
|
||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||
help: if this is a dyn-compatible trait, use `dyn`
|
||||
|
|
||||
LL | trait A { fn foo() -> dyn A; }
|
||||
| +++
|
||||
|
||||
warning: trait objects without an explicit `dyn` are deprecated
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:13:23
|
||||
|
|
||||
LL | trait B { fn foo() -> A; }
|
||||
| ^
|
||||
|
|
||||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
|
||||
= note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
|
||||
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
||||
help: if this is a dyn-compatible trait, use `dyn`
|
||||
|
|
||||
LL | trait B { fn foo() -> dyn A; }
|
||||
| +++
|
||||
|
||||
error[E0038]: the trait `A` is not dyn compatible
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:7:23
|
||||
|
|
||||
LL | trait A { fn foo() -> A; }
|
||||
| ^ `A` is not dyn compatible
|
||||
|
|
||||
note: for a trait to be dyn compatible it needs to allow building a vtable
|
||||
for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:7:14
|
||||
|
|
||||
LL | trait A { fn foo() -> A; }
|
||||
| - ^^^ ...because associated function `foo` has no `self` parameter
|
||||
| |
|
||||
| this trait is not dyn compatible...
|
||||
help: consider turning `foo` into a method by giving it a `&self` argument
|
||||
|
|
||||
LL | trait A { fn foo(&self) -> A; }
|
||||
| +++++
|
||||
help: alternatively, consider constraining `foo` so it does not apply to trait objects
|
||||
|
|
||||
LL | trait A { fn foo() -> A where Self: Sized; }
|
||||
| +++++++++++++++++
|
||||
help: you might have meant to use `Self` to refer to the implementing type
|
||||
|
|
||||
LL - trait A { fn foo() -> A; }
|
||||
LL + trait A { fn foo() -> Self; }
|
||||
|
|
||||
|
||||
error[E0038]: the trait `A` is not dyn compatible
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:13:23
|
||||
|
|
||||
LL | trait B { fn foo() -> A; }
|
||||
| ^ `A` is not dyn compatible
|
||||
|
|
||||
note: for a trait to be dyn compatible it needs to allow building a vtable
|
||||
for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
|
||||
--> $DIR/recursive-trait-fn-sig-issue-142064.rs:7:14
|
||||
|
|
||||
LL | trait A { fn foo() -> A; }
|
||||
| - ^^^ ...because associated function `foo` has no `self` parameter
|
||||
| |
|
||||
| this trait is not dyn compatible...
|
||||
help: consider turning `foo` into a method by giving it a `&self` argument
|
||||
|
|
||||
LL | trait A { fn foo(&self) -> A; }
|
||||
| +++++
|
||||
help: alternatively, consider constraining `foo` so it does not apply to trait objects
|
||||
|
|
||||
LL | trait A { fn foo() -> A where Self: Sized; }
|
||||
| +++++++++++++++++
|
||||
help: you might have meant to use `Self` to refer to the implementing type
|
||||
|
|
||||
LL - trait B { fn foo() -> A; }
|
||||
LL + trait B { fn foo() -> Self; }
|
||||
|
|
||||
|
||||
error: aborting due to 2 previous errors; 4 warnings emitted
|
||||
|
||||
For more information about this error, try `rustc --explain E0038`.
|
||||
@@ -0,0 +1,26 @@
|
||||
// Test for #120759, deadlock detected without any query
|
||||
|
||||
#![crate_type = "lib"]
|
||||
#![feature(transmutability)]
|
||||
|
||||
mod assert {
|
||||
use std::mem::{Assume, BikeshedIntrinsicFrom};
|
||||
//~^ ERROR unresolved import `std::mem::BikeshedIntrinsicFrom`
|
||||
pub struct Context;
|
||||
|
||||
pub fn is_maybe_transmutable<Src, Dst>(&self, cpu: &mut CPU)
|
||||
//~^ ERROR `self` parameter is only allowed in associated functions
|
||||
//~| ERROR cannot find type `CPU` in this scope
|
||||
where
|
||||
Dst: BikeshedIntrinsicFrom<Src, Context>,
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
fn should_pad_explicitly_packed_field() {
|
||||
#[repr(C)]
|
||||
struct ExplicitlyPadded(ExplicitlyPadded);
|
||||
//~^ ERROR recursive type `ExplicitlyPadded` has infinite size
|
||||
|
||||
assert::is_maybe_transmutable::<ExplicitlyPadded, ()>();
|
||||
}
|
||||
@@ -0,0 +1,35 @@
|
||||
error: `self` parameter is only allowed in associated functions
|
||||
--> $DIR/recursive-type-with-transmutability-issue-120759.rs:11:44
|
||||
|
|
||||
LL | pub fn is_maybe_transmutable<Src, Dst>(&self, cpu: &mut CPU)
|
||||
| ^^^^^ not semantically valid as function parameter
|
||||
|
|
||||
= note: associated functions are those in `impl` or `trait` definitions
|
||||
|
||||
error[E0432]: unresolved import `std::mem::BikeshedIntrinsicFrom`
|
||||
--> $DIR/recursive-type-with-transmutability-issue-120759.rs:7:28
|
||||
|
|
||||
LL | use std::mem::{Assume, BikeshedIntrinsicFrom};
|
||||
| ^^^^^^^^^^^^^^^^^^^^^ no `BikeshedIntrinsicFrom` in `mem`
|
||||
|
||||
error[E0425]: cannot find type `CPU` in this scope
|
||||
--> $DIR/recursive-type-with-transmutability-issue-120759.rs:11:61
|
||||
|
|
||||
LL | pub fn is_maybe_transmutable<Src, Dst>(&self, cpu: &mut CPU)
|
||||
| ^^^ not found in this scope
|
||||
|
||||
error[E0072]: recursive type `ExplicitlyPadded` has infinite size
|
||||
--> $DIR/recursive-type-with-transmutability-issue-120759.rs:22:5
|
||||
|
|
||||
LL | struct ExplicitlyPadded(ExplicitlyPadded);
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^ ---------------- recursive without indirection
|
||||
|
|
||||
help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to break the cycle
|
||||
|
|
||||
LL | struct ExplicitlyPadded(Box<ExplicitlyPadded>);
|
||||
| ++++ +
|
||||
|
||||
error: aborting due to 4 previous errors
|
||||
|
||||
Some errors have detailed explanations: E0072, E0425, E0432.
|
||||
For more information about an error, try `rustc --explain E0072`.
|
||||
@@ -46,7 +46,7 @@ for SEARCH_PYTHON in $SEARCH; do
|
||||
fi
|
||||
done
|
||||
|
||||
python=$(bash -c "compgen -c python" | grep '^python[2-3]\.[0-9]+$' | head -n1)
|
||||
python=$(bash -c "compgen -c python" | grep -E '^python[2-3](\.[0-9]+)?$' | head -n1)
|
||||
if ! [ "$python" = "" ]; then
|
||||
exec "$python" "$xpy" "$@"
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user