Search results

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

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

Further restricting what coercions are allowed on places of type <code>!</code>

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

<code>unreachable_patterns</code> 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

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

! can't be cast to Fn(_) -&gt; _

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

Non-exhaustive pattern error when matching on <code>!</code>

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

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

<code>((), !)</code> and <code>((), ())</code> 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

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

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

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