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