Interface predicate instances imply that the interface argument is not nil#536

Open

Felalolf wants to merge 3 commits intomasterfrom

interface-pred-nil

Commits on Sep 30, 2022

added not nil to interface predicate instances
Felix A. Wolf
committed
added case for predicate with interface receiver but no family
Felix A. Wolf
committed
special cased predicate instance encoding
Felix A. Wolf
committed