22:47:57stassatsscymtym: did you already modify cross-typep?
22:48:21stassatsif so, commit it anyway, otherwise let the future someone deal with it
22:49:57scymtymstassats: no, i would like to avoid that. making it handle more cases seems like a can of worms
22:50:58scymtymyour last annotation is basically the version i tested. should we check lvar-reoptimize for all uses if the principal lvar has multiple?
22:51:49stassatsonly the final really matters here
22:51:57stassatssince that's where the constant is
22:52:59stassatslet me see if it should actually use type-intersection