summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/user-annotations/issue-55241.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/nll/user-annotations/issue-55241.rs')
-rw-r--r--src/test/ui/nll/user-annotations/issue-55241.rs26
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/nll/user-annotations/issue-55241.rs b/src/test/ui/nll/user-annotations/issue-55241.rs
deleted file mode 100644
index 29969c7b4..000000000
--- a/src/test/ui/nll/user-annotations/issue-55241.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// Regression test for #55241:
-//
-// The reference to `C::HASHED_NULL_NODE` resulted in a type like `<C
-// as NodeCodec<_>>::Out`; normalizing this type requires knowing the
-// value of `_`; solving that requires having normalized, so we can
-// test against `C: NodeCodec<H>` in the environment.
-//
-// run-pass
-
-pub trait Hasher {
- type Out: Eq;
-}
-
-pub trait NodeCodec<H: Hasher> {
- const HASHED_NULL_NODE: H::Out;
-}
-
-pub trait Trie<H: Hasher, C: NodeCodec<H>> {
- /// Returns the root of the trie.
- fn root(&self) -> &H::Out;
-
- /// Is the trie empty?
- fn is_empty(&self) -> bool { *self.root() == C::HASHED_NULL_NODE }
-}
-
-fn main() { }