In case we don't want to introduce any new abstractions like "user relevance for applicability", we can just remove the filtering. ^KT-62541 Fixed
In K1, upper bound violated causes candidate to have lower applicability due to constraint errors, in K2 however constraint errors has to be reported explicitly
^KT-37591 Fixed