Type intersection creates an expression with a fixed __shape__ expression. This was being glossed over before because the parameter type was unknown, but once we switched it to match the scopified object expression, it became too strict for use with intersections.
Type intersection creates an expression with a fixed
__shape__expression. This was being glossed over before because the parameter type wasunknown, but once we switched it to match the scopified object expression, it became too strict for use with intersections.Closes #856