Re: feature/native-comp 5bc0855 2/2: Don't treat '=' as simple equality emitting constraints (bug#46812)

[Andrea Corallo]

> It's not working either, as far as I can tell: (lambda (x) (and
> (floatp x) (= x 0) x)) always returns nil when compiled.

Right, I think a better approach is to relax the inputs before
intersecting them so intersection is not cutting off already constrained
inputs.  8c7228e8cd for now follows this conservative approach and adds
some testing for the case.

  Andrea