Current ongoing issues with rt type checking: https://github.com/sherbondy/rt/blob/4480fffcd944bcee82ee70b5a6628d468462077d/src/rt/core.clj

check-ns

Initializing core.typed ...
Loading Clojurescript...
Clojurescript not found
"Elapsed time: 3083.994912 msecs"
core.typed initialized.
Start collecting rt.core
Finished collecting rt.core
Collected 1 namespaces in 3721.379436 msecs
Start checking rt.core
44:  Not checking rt.core/->Vector3 definition
101:  Not checking rt.core/->Point3 definition
127:  Not checking rt.core/->Ray definition
158:  Not checking rt.core/->Color definition
209:  Not checking rt.core/->Material definition
238:  Not checking rt.core/->Intersection definition
257:  Not checking rt.core/->Sphere definition
290:  Not checking rt.core/->Plane definition
352:  Not checking rt.core/->Directional definition
362:  Not checking rt.core/->Spotlight definition
401:  Not checking rt.core/->View definition
409:  Not checking rt.core/->Scene definition
Checked rt.core in 4419.122414 msecs
Type Error (rt.core:319:3) Polymorphic function clojure.core/filter could not be applied to arguments:
Polymorphic Variables:
	x2418
	y2419

Domains:
	(Fn [x -> Any :filters {:then (is y 0), :else tt}]) (typed/Option (clojure.lang.Seqable x))
	(Fn [x -> Any :filters {:then (! y 0), :else tt}]) (typed/Option (clojure.lang.Seqable x))
	(Fn [x -> Any]) (typed/Option (clojure.lang.Seqable x))

Arguments:
	(Fn [clojure.lang.Seqable -> java.lang.Boolean]) (clojure.lang.LazySeq TimeIntersect)

Ranges:
	(clojure.lang.LazySeq y)
	(clojure.lang.LazySeq (I x (Not y)))
	(clojure.lang.LazySeq x)

with expected type:
	TimeIntersectSeq

in: (clojure.core/filter clojure.core/not-empty (clojure.core/apply clojure.core/concat (clojure.core/map (clojure.core.typed/ann-form* (fn* ([p1__1092#] (rt.core/intersect p1__1092# ray))) (quote [Shape -> TimeIntersectSeq])) shapes)))
in: (clojure.core/filter clojure.core/not-empty (clojure.core/apply clojure.core/concat (clojure.core/map (clojure.core.typed/ann-form* # #) shapes)))


Type Error (rt.core:332:15) Polymorphic function clojure.core/map could not be applied to arguments:
Polymorphic Variables:
	c2589
	a2590
	b2591 ...

Domains:
	(Fn [a b ... b2588 -> c]) (NonEmptySeqable a) (NonEmptySeqable b) ... b2588
	(Fn [a b ... b2588 -> c]) (U (clojure.lang.Seqable a) nil) (U nil (clojure.lang.Seqable b)) ... b2588

Arguments:
	(All [x2592] (Fn [(HVec [x Any *]) -> x] [(clojure.lang.IMapEntry x Any) -> x] [(typed/Option (typed/EmptySeqable x)) -> nil] [(NonEmptySeqable x) -> x] [(typed/Option (clojure.lang.Seqable x)) -> (typed/Option x)])) TimeIntersectSeq

Ranges:
	(typed/NonEmptyLazySeq c)
	(clojure.lang.LazySeq c)

in: (clojure.core/map clojure.core/first hits)
in: (clojure.core/map clojure.core/first hits)


Type Error (rt.core:336:10) Bad arguments to apply: 

Target: 	(Fn [java.lang.Number java.lang.Number * -> java.lang.Number])

Arguments:	clojure.core.typed/NonEmptyCount
in: (clojure.lang.Numbers/gt (clojure.core/apply clojure.core/min times) time-at-light)


Type Error (rt.core:487:37) Type mismatch:

Expected: 	NonEmptyTISeq

Actual: 	TimeIntersectSeq
in: (rt.core/overall-lighting scene depth (rt.core/closest hits))


Type Checker: Found 4 errors
Found errors
Subprocess failed

This is the corresponding source file:
https://github.com/sherbondy/rt/blob/4480fffcd944bcee82ee70b5a6628d468462077d/src/rt/core.clj