Nightly shows confusing diagnostics mentioning ZeroablePrimitive without apparent reason

@rustbot

I tried to convince the compiler to accept my use of ? operator via basically trait MaybeFallible where MyError: From<Self>, which I now suspect is impossible. Trying the new trait solver, I got weird errors about ZeroablePrimitive which I have never mentioned in the code nor did I mention NonZero anywhere. This may be related to the new solver, so cc #160895 but I'm not sure.

Code

I tried this code:

use std::convert::Infallible;

trait MaybeFallible {
    type Error: MaybeError;
    fn try_do_it(&self) -> Result<(), Self::Error>;
}

trait MaybeError: Sized + From<Infallible> + Into2<MyError> + where MyError: From<Self> /* ensures ? works */ {
    type ComposeWithOther<Other: MaybeError>: MaybeError + From<Self> + From<Other> where MyError: From<Other>, MyError: From<Self>;
}

impl MaybeError for Infallible {
    type ComposeWithOther<Other: MaybeError> = Other where MyError: From<Other>, MyError: From<Self>;
}

impl MaybeError for MyError {
    type ComposeWithOther<Other: MaybeError> = MyError where MyError: From<Other>, MyError: From<Self>;
}

fn compose<A: MaybeFallible, B: MaybeFallible>(a: A, b: B) -> Result<(), <A::Error as MaybeError>::ComposeWithOther<B::Error>> where <A::Error as MaybeError>::ComposeWithOther<B::Error>: From<B::Error> {
    a.try_do_it()?;
    b.try_do_it()?;
    Ok(())
}
    
struct MyError;

impl From<Infallible> for MyError {
    fn from(x: Infallible) -> Self {
        match x {}
    }
}

trait Into2<T: Sized + From<Self>>: Sized {}
impl<T, U: From<T>> Into2<U> for T {}

I expected to see this happen: no mentions of unrelated traits such as ZeroablePrimitive; any errors are only related to what I wrote.

Instead, this happened:

error[E0277]: the trait bound `MyError: ZeroablePrimitive` is not satisfied
  --> src/lib.rs:20:188
   |
20 | ... as MaybeError>::ComposeWithOther<B::Error>: From<B::Error> {
   |                                                 ^^^^^^^^^^^^^^ unsatisfied trait bound
   |
help: the nightly-only, unstable trait `ZeroablePrimitive` is not implemented for `MyError`
  --> src/lib.rs:26:1

Version it worked on

It most recently worked on: 1.98.0

Version with regression

rustc --version --verbose:

1.100.0-nightly

(2026-08-26 bff8e12ff5e6bcd53dfb)

These are the versions currently on playground.

@rustbot modify labels: +regression-from-stable-to-nightly -regression-untriaged

@rustbot

As expected, the bisection leads to #160619 where the new trait solver has been enabled on nightly.
Labelling accordingly.

@rustbot label +wg-trait-system-refactor

A bit more reduced:

use std::convert::Infallible;

struct MyError;

trait MaybeFallible {
    type Error: MaybeError;
}

trait MaybeError: Sized + From<Infallible>
where
    MyError: From<Self>,
{
    type ComposeWithOther: MaybeError + From<Self>;
}

fn compose<A: MaybeFallible, B: MaybeFallible>() -> Result<(), MyError>
where
    <A::Error as MaybeError>::ComposeWithOther: From<B>,
{
    todo!()
}

Even more with treereduce-rust (though idk if this is too far):

use std::convert::Infallible;

struct MyError;

trait MaybeFallible {
    type Error: MaybeError;
}

trait MaybeError: Sized + From<Infallible>
where
    MyError: From<Self>,
{
    type ComposeWithOther: MaybeError + From<Self>;
}

fn compose<A: MaybeFallible, B: MaybeFallible>() -> Result<(), MyError>
where
    <A::Error as MaybeError>::ComposeWithOther: From<B>,
{
    todo!()
}

Rollup merge of rust-lang#162443 - LorrensP-2158466:fix-best-obligati…

Unrolled build for #162443 in rollup 164052

Navigation Menu

Repository navigation

Nightly shows confusing diagnostics mentioning `ZeroablePrimitive` without apparent reason #161882

Code

Version it worked on

Version with regression

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Nightly shows confusing diagnostics mentioning ZeroablePrimitive without apparent reason #161882

Description

Code

Version it worked on

Version with regression

Activity

apiraino commented on Aug 28, 2026

LorrensP-2158466 commented on Sep 3, 2026

LorrensP-2158466 commented on Sep 3, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Nightly shows confusing diagnostics mentioning `ZeroablePrimitive` without apparent reason #161882