josh11bandGeoff Romer 46503c0a9d Explorer and toolchain changes to implement #2483 (#2707) ...

This PR is making two main changes to the Explorer and Toolchain:
- Replace the `is` keyword in `where SomeType is SomeInterface` with `impls`, so it is `where SomeType impls SomeInterface`
- Rewrite uses of the "impls" to something else to avoid, frequently "`impl` declarations" or "implementations", to avoid confusion with the `impls` keyword.

---------

Co-authored-by: Geoff Romer <gromer@google.com>

2023-03-28 12:28:52 -07:00

..

addr

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

alias

Explorer: make use of != in Carbon lit (#2586)

2023-02-07 10:10:45 -08:00

array

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

as

Make built-in conversions visible to ImplicitAs. (#2525)

2023-01-18 17:36:55 -08:00

assert

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

assign

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

assoc_const

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

auto

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

basic_syntax

Disable most tracing in the prelude. (#2616)

2023-02-22 13:41:12 -08:00

block

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

choice

Fix handling of choice types with a mixture of alternatives with parameters and alternatives without parameters in pattern analysis. (#2626)

2023-03-07 17:09:40 -08:00

class

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

comparison

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

constraint

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

destructor

Explorer: Add virtual destructor support (#2695)

2023-03-22 09:58:30 -07:00

experimental_continuation

Explorer: make use of != in Carbon lit (#2586)

2023-02-07 10:10:45 -08:00

for

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

function

[explorer] clarify warning when declaring arguments for 'Main' (#2518)

2023-01-10 19:24:35 -08:00

generic_class

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

generic_function

Unify handling of calls to functions and to methods. (#2620)

2023-02-22 13:51:25 -08:00

global_variable

Rename Type -> type, per #2360. (#2507)

2023-01-04 14:22:30 -08:00

if_else

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

if_expression

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

impl

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

impl_match

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

import

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

interface

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

let

Expect parentheses after an alternative only if they were present in its declaration (#2605)

2023-02-14 13:28:52 -08:00

linked_list

Rename Type -> type, per #2360. (#2507)

2023-01-04 14:22:30 -08:00

match

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

member_access

Make built-in conversions visible to ImplicitAs. (#2525)

2023-01-18 17:36:55 -08:00

mixin

Implement the termination algorithm for impl selection described in #2458 (#2602)

2023-02-14 17:44:16 -08:00

name_lookup

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

named_constraint

Explorer and toolchain changes to implement #2483 (#2707)

2023-03-28 12:28:52 -07:00

namespace

Add support for most kinds of declarations to be declared and used as namespace members (#2575)

2023-02-08 13:21:15 -08:00

operators

Fix some comments after #2612. (#2614)

2023-02-21 09:58:31 -08:00

optional

Modify lit_autoupdate so that it can handle errors in prelude.carbon (#2612)

2023-02-17 09:31:48 -08:00

package

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

pointer

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

print

Check equality constraints when checking whether a constraint is satisfied (#2294)

2022-10-17 22:07:19 -07:00

random

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

return

Implement rename me -> self (#2444)

2022-12-06 20:17:00 -08:00

returned_var

Automate the addition of RUN and simplify RUN lines (#2292)

2022-10-17 13:52:37 -07:00

string

Issue #2121: Support new block string literal syntax in explorer (#2399)

2023-01-04 15:53:47 -08:00

struct

Add support for compound assignment and increment (#2526)

2023-01-20 18:48:13 -08:00

template

Support for templated impl declarations (#2700)

2023-03-22 14:19:02 -07:00

tuple

Remove ExpectType and some calls to IsImplicitlyConvertible. (#2647)

2023-03-02 14:04:44 -08:00

unformed

Explorer: fix variables not cleaned up if declared before unformed (#2544)

2023-01-23 08:59:14 -08:00

while

Explorer: make use of != in Carbon lit (#2586)

2023-02-07 10:10:45 -08:00

BUILD

Disable most tracing in the prelude. (#2616)

2023-02-22 13:41:12 -08:00

lit.cfg.py

Unify lit.cfg.py approach (#2249)

2022-10-06 12:25:23 -07:00