Solid Difference Failure

Doing the same operations in Rhino results in a Brep with a non-manifold edge.

Another topic with a similar problem:

@Gijs why isn’t an invalid brep output displayed orange or red?