3730 argtypes, |
3730 argtypes, |
3731 typeargtypes, |
3731 typeargtypes, |
3732 noteWarner); |
3732 noteWarner); |
3733 |
3733 |
3734 return chk.checkMethod(owntype, sym, env, argtrees, argtypes, env.info.lastResolveVarargs(), |
3734 return chk.checkMethod(owntype, sym, env, argtrees, argtypes, env.info.lastResolveVarargs(), |
3735 noteWarner.hasNonSilentLint(LintCategory.UNCHECKED)); |
3735 noteWarner.hasNonSilentLint(LintCategory.UNCHECKED), resultInfo.checkContext.inferenceContext()); |
3736 } catch (Infer.InferenceException ex) { |
3736 } catch (Infer.InferenceException ex) { |
3737 //invalid target type - propagate exception outwards or report error |
3737 //invalid target type - propagate exception outwards or report error |
3738 //depending on the current check context |
3738 //depending on the current check context |
3739 resultInfo.checkContext.report(env.tree.pos(), ex.getDiagnostic()); |
3739 resultInfo.checkContext.report(env.tree.pos(), ex.getDiagnostic()); |
3740 return types.createErrorType(site); |
3740 return types.createErrorType(site); |