Curious if “outward” ^boolean propagation has been debated / rejected. Example: If simple analysis detects that ^boolean can be applied as in for functions like (defn f [x] (not x)). Perhaps automatically propagating type hints in this direction would be unwelcome by users?

@mfikes: we have already have outward propagation for numerics which broke because of changes for code motion

absolutely nothing against that