yes i would love to see a fail for pull = No
imagine the same example not with 2 mm distance resulting in a 5 degree Corner,
but with some 0.01mm distance (and 0.001 document tolerance) and a 1.2 degree Corner…
the gain / profit:
if you set up everything in a proper way, you can be sure things come out nice. I am very sure the hidden pulling will produce later errors when joining, filleting or other following steps.
see this very reduced example:
(i can trim the top surface with the red edge, but not join everthing together)
(and i made the gab visible just to be easy to see… it can be 0.01mm)
trim_includes_pull_error_follow_up.3dm (3.5 MB)
best -tom