diff options
Diffstat (limited to 'tests/ui/consts/const-eval/ice-generic-assoc-const.rs')
-rw-r--r-- | tests/ui/consts/const-eval/ice-generic-assoc-const.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/consts/const-eval/ice-generic-assoc-const.rs b/tests/ui/consts/const-eval/ice-generic-assoc-const.rs new file mode 100644 index 000000000..e514682af --- /dev/null +++ b/tests/ui/consts/const-eval/ice-generic-assoc-const.rs @@ -0,0 +1,16 @@ +// build-pass (tests post-monomorphisation failure) +#![crate_type = "lib"] + +pub trait Nullable { + const NULL: Self; + + fn is_null(&self) -> bool; +} + +impl<T> Nullable for *const T { + const NULL: Self = core::ptr::null::<T>(); + + fn is_null(&self) -> bool { + *self == Self::NULL + } +} |