Implement override-based type inference for instance methods.

pkg/front_end/test/fasta/kompile.status

Index: pkg/front_end/test/fasta/kompile.status
diff --git a/pkg/front_end/test/fasta/kompile.status b/pkg/front_end/test/fasta/kompile.status
index fda019026fecc3daf513353e528c4047e790f86d..d1ee977b0294492cce229b7a36f33804dfc59349 100644
--- a/pkg/front_end/test/fasta/kompile.status
+++ b/pkg/front_end/test/fasta/kompile.status
@@ -82,6 +82,7 @@ inference/block_bodied_lambdas_void_context: Crash
 inference/bottom: Crash
 inference/bottom_in_closure: Crash
 inference/call_corner_cases: Crash
+inference/circular_method_inference: Crash
 inference/circular_reference_via_closures: Crash
 inference/circular_reference_via_closures_initializer_types: Crash
 inference/conditional_lub: Crash
@@ -244,6 +245,8 @@ inference/infer_getter_cross_to_setter: Crash
 inference/infer_getter_from_later_inferred_getter: Crash
 inference/infer_list_literal_nested_in_map_literal: Crash
 inference/infer_local_function_return_type: Crash
+inference/infer_method_function_typed: Crash
+inference/infer_method_missing_params: Crash
 inference/infer_parameter_type_setter_from_field: Crash
 inference/infer_parameter_type_setter_from_setter: Crash
 inference/infer_prefix_expression: Crash