libera/#sbcl - IRC Chatlog Search Friday, 3rd of February 2023, 11:15:39 UTC 11:32:32 scymtym i'm pretty sure SBCL's constraint system can propagate /some/ information regarding indices always being within array bounds. see ARRAY-IN-BOUNDS-P in compiler/constraint.lisp