Use declared return type for inference of return and yield statements.

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 abdf0d800eccde3ac6dc0cba19308de67d631ea4..0b22b81033ffe973024a91d135409a34b1c0e3c3 100644
--- a/pkg/front_end/test/fasta/kompile.status
+++ b/pkg/front_end/test/fasta/kompile.status
@@ -276,6 +276,7 @@ inference/list_literal_typed: Crash
 inference/list_literals_can_infer_null_top_level: Crash
 inference/list_literals_top_level: Crash
 inference/local_constructor_from_arguments: Crash
+inference/local_return_and_yield: Crash
 inference/map_literals: Fail
 inference/map_literals_can_infer_null: Fail
 inference/map_literals_can_infer_null_top_level: Crash
@@ -299,6 +300,7 @@ inference/simple_literal_int: Crash
 inference/simple_literal_null: Crash
 inference/static_method_tear_off: Crash
 inference/string_literal: Crash
+inference/top_level_return_and_yield: Crash
 inference/toplevel_inference_toplevel_var: Crash
 inference/type_cast: Crash
 inference/type_promotion_ignores_local_functions: Crash