Richard Smith 8dd398807d Support user-defined implicit conversions via `ImplicitAs` (#1273) 4 年之前
..
convert_return_value.carbon 8dd398807d Support user-defined implicit conversions via `ImplicitAs` (#1273) 4 年之前
explicit_empty.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
fail_explicit_with_no_return.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) 4 年之前
fail_explicit_with_plain_return.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) 4 年之前
fail_implicit_with_explicit_return.carbon e85f45de10 Move CHECK lines in tests next to the line that caused the output. (#1224) 4 年之前
implicit_with_no_return.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前
implicit_with_plain_return.carbon 309ec35f95 Rename executable_semantics to explorer (#1188) 4 年之前