Search results

Inconsistent method lookup on never type

A-method-lookupArea: Method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)Area: Method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`)

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

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

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.

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.

#143349 In rust-lang/rust;

· purplesyringa opened on Jul 3, 2025

2024 edition regression: cannot write blanket implementation for closures that return the Never type

A-edition-2024Area: The 2024 editionArea: The 2024 edition

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

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.

T-editionRelevant to the edition team.Relevant to the edition team.

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.

#139610 In rust-lang/rust;

· alice-i-cecile opened on Apr 10, 2025

7 comments

Result type inference breaks in 2024 edition, while working correctly in 2021 edition

A-coercionsArea: implicit and explicit `expr as Type` coercionsArea: implicit and explicit `expr as Type` coercions

A-inferenceArea: Type inferenceArea: Type inference

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

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

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.

#135864 In rust-lang/rust;

· nazar-pc opened on Jan 22, 2025

9 comments

Further restricting what coercions are allowed on places of type !

A-coercionsArea: implicit and explicit `expr as Type` coercionsArea: implicit and explicit `expr as Type` coercions

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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

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.

T-opsemRelevant to the opsem teamRelevant to the opsem team

Status: Open.

#131297 In rust-lang/rust;

· compiler-errors opened on Oct 5, 2024

6 comments

unreachable_patterns fires on match arm that can't be removed.

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

D-invalid-suggestionDiagnostics: A structured suggestion resulting in incorrect code.Diagnostics: A structured suggestion resulting in incorrect code.

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

L-unreachable_patternsLint: unreachable_patternsLint: unreachable_patterns

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.

#129352 In rust-lang/rust;

· Dirbaio opened on Aug 21, 2024

15 comments

Bad interaction between never_type, try_blocks, and From/Into

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

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

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

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-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.

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#125364 In rust-lang/rust;

· ia0 opened on May 21, 2024

2 comments

! can't be cast to Fn(_) -> _

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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

Status: Open.

#120153 In rust-lang/rust;

· Pr0methean opened on Jan 20, 2024

10 comments

Non-exhaustive pattern error when matching on !

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

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

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.

#115716 In rust-lang/rust;

· cjgillot opened on Sep 9, 2023

2 comments

Return-position impl Trait is not satisfied by divergent/never type

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

A-docsArea: Documentation for any part of the project, including the compiler, standard library, and toolsArea: Documentation for any part of the project, including the compiler, standard library, and tools

A-trait-systemArea: Trait systemArea: Trait system

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

T-langRelevant to the language teamRelevant to the language team

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.

#113875 In rust-lang/rust;

· wchargin opened on Jul 20, 2023

18 comments



((), !) and ((), ()) are considered incompatible types

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

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

P-lowLow priorityLow priority

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

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.

#112856 In rust-lang/rust;

· GrigorenkoPV opened on Jun 20, 2023

3 comments

Semicolon after diverging try operator shouldn't matter

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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

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.

#106357 In rust-lang/rust;

· clarfonthey opened on Jan 1, 2023

8 comments

uninhabited enum variants still block auto trait implementation

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

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#101083 In rust-lang/rust;

· soqb opened on Aug 27, 2022

1 comment

Casting or adding type ascription to panic!() triggers unreachable_code

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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

P-mediumMedium priorityMedium priority

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.

#67227 In rust-lang/rust;

· leo60228 opened on Dec 11, 2019

7 comments

Allow unused_must_use on result with never type

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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

T-langRelevant to the language teamRelevant to the language team

Status: Open.

#65861 In rust-lang/rust;

· TheZoq2 opened on Oct 27, 2019

2 comments

We should lint when !-fallback results in questionable code

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

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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

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.

#46162 In rust-lang/rust;

· canndrew opened on Nov 21, 2017

1 comment

Go over all libstd traits and see which of them !/TyNever should implement

C-feature-acceptedCategory: A feature request that has been accepted pending implementation.Category: A feature request that has been accepted pending implementation.

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

T-libs-apiRelevant to the library API team, which will review and decide on the PR/issue.Relevant to the library API team, which will review and decide on the PR/issue.

Status: Open.

#35866 In rust-lang/rust;

· arielb1 opened on Aug 20, 2016

1 comment

Tracking issue for promoting ! to a type (RFC 1216)

A-type-systemArea: Type systemArea: Type system

B-RFC-approvedBlocker: Approved by a merged RFC but not yet implemented.Blocker: Approved by a merged RFC but not yet implemented.

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-never_type`#![feature(never_type)]``#![feature(never_type)]`

Libs-TrackedLibs issues that are tracked on the team's project board.Libs issues that are tracked on the team's project board.

S-tracking-needs-to-bakeStatus: The implementation is "complete" but it needs time to bake.Status: The implementation is "complete" but it needs time to bake.

T-langRelevant to the language teamRelevant to the language team

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.

#35121 In rust-lang/rust;

· nikomatsakis opened on Jul 29, 2016

378 comments