tests/lean/1377.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            1377.lean:3:2-3:5: warning: declaration uses 'sorry'

            
            foo.bar : Unit → {n : Nat} → Fin n → Fin n
	1377.lean:3:2-3:5: warning: declaration uses 'sorry'
	foo.bar : Unit → {n : Nat} → Fin n → Fin n