josh11bandJosh L 3824c5fd30 Look in libraries associated with the interface (#4510) ...

This was broken by #4499 .

---------

Co-authored-by: Josh L <josh11b@users.noreply.github.com>

2024-11-12 20:35:32 +00:00

..

lookup

Look in libraries associated with the interface (#4510)

2024-11-12 20:35:32 +00:00

no_prelude

Include the arguments for a generic class or interface in diagnostics. (#4511)

2024-11-12 01:47:33 +00:00

compound.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

declaration.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

empty.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

extend_impl.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_call_invalid.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_impl_forall.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_impl_scope.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_impl_type_as.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_non_interface.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_partially_defined_interface.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_extend_undefined_interface.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_impl_as_scope.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_impl_bad_assoc_const.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_impl_bad_assoc_fn.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_impl_bad_interface.carbon

Include the arguments for a generic class or interface in diagnostics. (#4511)

2024-11-12 01:47:33 +00:00

fail_redefinition.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

fail_todo_impl_assoc_const.carbon

Include the arguments for a generic class or interface in diagnostics. (#4511)

2024-11-12 01:47:33 +00:00

impl_as.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

impl_forall.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

multiple_extend.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00

redeclaration.carbon

Replace InterfaceType with FacetType (#4499)

2024-11-11 18:01:50 +00:00