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.
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
- E0308mismatched types
- E0277the trait bound is not satisfied
- E0599no method named X found in the current scope
- E0433failed to resolve
- E0567auto traits cannot have generic parameters
- E0569requires an `unsafe impl` declaration due to `#[may_dangle]` attribute
- E0574expected struct, variant or union type, found module `mordor`
- E0575cannot find associated type `Mythology` in trait `Age`
Up next
Often hit nextE0308: mismatched typesA related error from the same family.Read it next →Did this answer your question?