git-issue-4926.dfy(16,12): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(17,12): Error: type parameter (A) passed to function G must support auto-initialization (got Cell)
git-issue-4926.dfy(18,12): Error: type parameter (A) passed to function H must be nonempty (got Cell)
git-issue-4926.dfy(21,14): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(22,14): Error: type parameter (A) passed to function G must support auto-initialization (got Nonempty)
git-issue-4926.dfy(24,14): Error: type parameter (A) passed to function J must support equality (got Record)
git-issue-4926.dfy(25,20): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(32,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(33,16): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(34,12): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(35,14): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(38,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(39,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(40,12): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(41,14): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(52,38): Error: type parameter (A) passed to function J must support equality (got Record)
git-issue-4926.dfy(60,42): Error: type parameter (A) passed to type Cmp must support equality (got Record)
git-issue-4926.dfy(61,40): Error: type parameter (A) passed to type Cmp must support equality (got Record)
git-issue-4926.dfy(44,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(46,16): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(49,12): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(50,14): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(45,19): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(47,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(48,18): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(44,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(47,13): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(46,16): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(50,14): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(45,19): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(48,18): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(49,12): Error: type parameter (A) passed to function F must contain no references (got Cell)
git-issue-4926.dfy(56,22): Error: type parameter (A) passed to function J must support equality (got Record)
git-issue-4926.dfy(73,12): Error: type parameter (A) passed to greatest predicate Bisimilar must contain no references (got A) (perhaps try declaring type parameter 'A' on line 72 as 'A(!new)', which says it can only be instantiated with a type that contains no references)
git-issue-4926.dfy(85,12): Error: type parameter (A) passed to greatest predicate Bisimilar must contain no references (got Class)
git-issue-4926.dfy(87,31): Error: type parameter (A) passed to greatest lemma SelfSimilarCorrected must contain no references (got Class)
git-issue-4926.dfy(91,12): Error: type parameter (A) passed to prefix predicate Bisimilar# must contain no references (got Class)
git-issue-4926.dfy(93,35): Error: type parameter (A) passed to prefix lemma SelfSimilarCorrected# must contain no references (got Class)
38 resolution/type errors detected in git-issue-4926.dfy
