Ashley Claymore 🌈 on Nostr: side-note: there are situations where satisfies affects the result of the inference, ...side-note: there are situations where satisfies affects the result of the inference, such as tuples and literal types