diff options
Diffstat (limited to 'tests/ui/deriving/deriving-default-enum.rs')
-rw-r--r-- | tests/ui/deriving/deriving-default-enum.rs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/deriving/deriving-default-enum.rs b/tests/ui/deriving/deriving-default-enum.rs new file mode 100644 index 000000000..1c7a501ed --- /dev/null +++ b/tests/ui/deriving/deriving-default-enum.rs @@ -0,0 +1,27 @@ +// run-pass + +// nb: does not impl Default +#[derive(Debug, PartialEq)] +struct NotDefault; + +#[derive(Debug, Default, PartialEq)] +enum Foo { + #[default] + Alpha, + #[allow(dead_code)] + Beta(NotDefault), +} + +// #[default] on a generic enum does not add `Default` bounds to the type params. +#[derive(Default)] +enum MyOption<T> { + #[default] + None, + #[allow(dead_code)] + Some(T), +} + +fn main() { + assert_eq!(Foo::default(), Foo::Alpha); + assert!(matches!(MyOption::<NotDefault>::default(), MyOption::None)); +} |