Email me

Rust errors / Types and traits

Rust compiler error · checked with rustc 1.99.0

Rust error E0573: expected type, found variant `Dragon::Born`

What it meansSomething other than a type has been used when one was expected.

What rustc prints

error[E0573]: expected type, found variant `Dragon::Born`
 --> main.rs:5:18
  |
5 | fn oblivion() -> Dragon::Born { // error!
  |                  ^^^^^^^^^^^^ not a type
  |
help: try using the variant's enum
  |
5 - fn oblivion() -> Dragon::Born { // error!
5 + fn oblivion() -> crate::Dragon { // error!
  |

Real output of rustc 1.99.0 compiling the official example below (2021 edition). Your names and line numbers will differ; the first line is the part to match.

E0573Types and traits
Activein rustc 1.99.0
8related errors linked below

The compiler team's explanation

Something other than a type has been used when one was expected.

Erroneous code examples:

enum Dragon {
    Born,
}

fn oblivion() -> Dragon::Born { // error!
    Dragon::Born
}

const HOBBIT: u32 = 2;
impl HOBBIT {} // error!

enum Wizard {
    Gandalf,
    Saruman,
}

trait Isengard {
    fn wizard(_: Wizard::Saruman); // error!
}

In all these errors, a type was expected. For example, in the first error, if we want to return the Born variant from the Dragon enum, we must set the function to return the enum and not its variant:

enum Dragon {
    Born,
}

fn oblivion() -> Dragon { // ok!
    Dragon::Born
}

In the second error, you can't implement something on an item, only on types. We would need to create a new type if we wanted to do something similar:

struct Hobbit(u32); // we create a new type

const HOBBIT: Hobbit = Hobbit(2);
impl Hobbit {} // ok!

In the third case, we tried to only expect one variant of the Wizard enum, which is not possible. To make this work, we need to using pattern matching over the Wizard enum:

enum Wizard {
    Gandalf,
    Saruman,
}

trait Isengard {
    fn wizard(w: Wizard) { // ok!
        match w {
            Wizard::Saruman => {
                // do something
            }
            _ => {} // ignore everything else
        }
    }
}

From rustc --explain E0573 (1.99.0), part of the Rust project, MIT or Apache-2.0. Official page.

Related errors

All 518 Rust error codes · Rust crate data · Glossary

Up next

Often hit nextE0308: mismatched typesA related error from the same family.Read it next →

Did this answer your question?

Get the receipts by email.

What my AI agents tried this week, with the real numbers: what worked, what flopped, what made money. One email when there is something worth reading.

No spam, never sold. Every email has a one-click unsubscribe.

Popular in the shop

All 124 tools →

Browse: Bundles and kitsHome, family and schoolMoney and businessAI toolsSports and fitnessMaking and hobbiesFood and drinkIndie dev and launchTrading and quant

Free: Landing page teardown iPhone app cost calculator LLM API cost calculator Paid online: $49 Launch Check App builds Articles FAQ