Search results

Fix negative traits coherence checks compile error message for type aliases

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

D-incorrectDiagnostics: A diagnostic that is giving misleading or incorrect information.Diagnostics: A diagnostic that is giving misleading or incorrect information.

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

F-rustc_attrsInternal rustc attributes gated on the `#[rustc_attrs]` feature gate.Internal rustc attributes gated on the `#[rustc_attrs]` feature gate.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#90259 In rust-lang/rust;

· spastorino opened on Oct 25, 2021

forbid conditional, negative impls

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#79098 In rust-lang/rust;

· nikomatsakis opened on Nov 16, 2020

rustdoc: ICE: <code>Deref impl without Target type</code> involving negative <code>Deref</code> impl

C-bugCategory: This is a bug.Category: This is a bug.

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

P-lowLow priorityLow priority

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this issue

T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.Relevant to the rustdoc team, which will review and decide on the PR/issue.

Status: Open.

#128801 In rust-lang/rust;

· fmease opened on Aug 7, 2024

Rework reservation impls into an <code>Ambiguous</code> trait

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#90182 In rust-lang/rust;

· nikomatsakis opened on Oct 22, 2021

auto_traits + negative_impls not working as expected with associated types

C-bugCategory: This is a bug.Category: This is a bug.

F-auto_traits`#![feature(auto_traits)]``#![feature(auto_traits)]`

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

Status: Open.

#87732 In rust-lang/rust;

· gbj opened on Aug 3, 2021

using auto_traits and negative_impls, compiler seems failing to find matching implementation

C-bugCategory: This is a bug.Category: This is a bug.

F-auto_traits`#![feature(auto_traits)]``#![feature(auto_traits)]`

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

Status: Open.

#92753 In rust-lang/rust;

· djdisodo opened on Jan 11, 2022

<code>negative_impls</code> doesn't seem to agree with <code>const_trait_impl</code>

C-bugCategory: This is a bug.Category: This is a bug.

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#98834 In rust-lang/rust;

· SohumB opened on Jul 3, 2022

prevent negative impl cycles

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

P-lowLow priorityLow priority

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Open.

#102678 In rust-lang/rust;

· nikomatsakis opened on Oct 4, 2022

negative_impls: negative impl fails to prevent overlap error

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

Status: Open.

#112588 In rust-lang/rust;

· lcnr opened on Jun 13, 2023

Impls are not resolved correctly when using generic const expressions

C-bugCategory: This is a bug.Category: This is a bug.

F-generic_const_exprs`#![feature(generic_const_exprs)]``#![feature(generic_const_exprs)]`

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

P-lowLow priorityLow priority

requires-incomplete-featuresThis issue requires the use of incomplete features.This issue requires the use of incomplete features.

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#112341 In rust-lang/rust;

· wdanilo opened on Jun 6, 2023

Inconsistent behavior of auto_traits+negative_impls across crates.

A-auto-traitsArea: auto traits (e.g., `auto trait Send {}`)Area: auto traits (e.g., `auto trait Send {}`)

A-trait-systemArea: Trait systemArea: Trait system

C-bugCategory: This is a bug.Category: This is a bug.

F-auto_traits`#![feature(auto_traits)]``#![feature(auto_traits)]`

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#108995 In rust-lang/rust;

· booti386 opened on Mar 10, 2023

Tracking issue for negative impls

A-trait-systemArea: Trait systemArea: Trait system

B-experimentalBlocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).Blocker: In-tree experiment; RFC pending, not yet approved or unneeded (requires FCP to stabilize).

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-negative_impls#![feature(negative_impls)]#![feature(negative_impls)]

needs-rfcThis change is large or controversial enough that it should have an RFC accepted before doing it.This change is large or controversial enough that it should have an RFC accepted before doing it.

S-tracking-impl-incompleteStatus: The implementation is incomplete.Status: The implementation is incomplete.

S-tracking-needs-summaryStatus: It's hard to tell what's been done and what hasn't! Someone should do some investigation.Status: It's hard to tell what's been done and what hasn't! Someone should do some investigation.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#68318 In rust-lang/rust;

· nikomatsakis opened on Jan 17, 2020