| .. |
|
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 |