Dana Jansens 13da710e94 Poison impl lookup queries with concrete results (#5373) 1 rok temu
..
lookup 13da710e94 Poison impl lookup queries with concrete results (#5373) 1 rok temu
min_prelude 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
no_prelude 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
assoc_const_self.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
declaration.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) 1 rok temu
empty.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) 1 rok temu
extend_impl.carbon fafb655d39 Separate pattern types from expression types (#5360) 1 rok temu
extend_impl_generic.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
fail_call_invalid.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
fail_extend_impl_forall.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
fail_extend_impl_type_as.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) 1 rok temu
fail_extend_non_interface.carbon a74ca9071b Remove all remaining uses of `TypeId`s as instruction operands. (#5280) 1 rok temu
fail_extend_partially_defined_interface.carbon 89c9714825 Fix handling of member types of generic classes. (#5332) 1 rok temu
fail_extend_undefined_interface.carbon fafb655d39 Separate pattern types from expression types (#5360) 1 rok temu
fail_impl_bad_assoc_fn.carbon fafb655d39 Separate pattern types from expression types (#5360) 1 rok temu
fail_impl_bad_interface.carbon 4af0c8f8d1 Implement ...`where .Self impls`... (#5238) 1 rok temu
fail_redefinition.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) 1 rok temu
fail_self_type_mismatch.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
impl_as.carbon fafb655d39 Separate pattern types from expression types (#5360) 1 rok temu
impl_assoc_const.carbon 51498547c9 Always use `LookupImplWitness` instructions for symbolic witnesses (#5321) 1 rok temu
impl_forall.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu
multiple_extend.carbon fafb655d39 Separate pattern types from expression types (#5360) 1 rok temu
redeclaration.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) 1 rok temu
use_assoc_const.carbon 7c85397f8b Stop treating symbolic binding patterns as constants (#5361) 1 rok temu