Richard SmithandJon Ross-Perkins abf23ae7fe Initial scaffolding for building a witness table for an impl. (#3743) ...

Add an instruction to hold the witness table, along with a corresponding
type to keep things simpler. Add `check/impl.{h,cpp}` to house the new
logic. No checking of impls against interfaces is performed yet.

---------

Co-authored-by: Jon Ross-Perkins <jperkins@google.com>

2024-03-07 23:10:14 +00:00

..

basic.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

declaration.carbon

Remove special-case formatting for class and interface LHS. (#3744)

2024-03-06 23:32:33 +00:00

empty.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_extend_impl_forall.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_extend_impl_scope.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_extend_impl_type_as.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_extend_non_interface.carbon

Remove special-case formatting for class and interface LHS. (#3744)

2024-03-06 23:32:33 +00:00

fail_extend_partially_defined_interface.carbon

Remove special-case formatting for class and interface LHS. (#3744)

2024-03-06 23:32:33 +00:00

fail_extend_undefined_interface.carbon

Remove special-case formatting for class and interface LHS. (#3744)

2024-03-06 23:32:33 +00:00

fail_impl_as_scope.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_impl_bad_interface.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_impl_bad_type.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_redefinition.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

fail_todo_extend_impl.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

impl_as.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

impl_forall.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00

redeclaration.carbon

Initial scaffolding for building a witness table for an impl. (#3743)

2024-03-07 23:10:14 +00:00