Fixed assignability matcher.