Kavon Farvardin 83166e4009 prevent MO as AnyObject and friends from typechecking ...

where `MO` is a move-only type.

turns out it was being allowed because the cast is represented as a
disjunction in the constraint solver:

- `MO conv AnyObject`
- `MO bridge conv AnyObject`

I caught the first one but missed the second, which was unconditionally
being allowed.

2023-02-01 23:38:28 -08:00

565 KiB

Raw Blame History

View Raw