| .. |
|
access.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
aggregate_through_access.carbon
|
e1b87ac2e1
Change IndexWith to use a standard binary operator setup (#6127)
|
hai 7 meses |
|
call_combined_impl_witness.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
combine.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
convert_class_type_to_facet_type.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
convert_class_type_to_generic_facet_value.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_class_value_to_facet_value_value.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_class_value_to_generic_facet_value_value.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_facet_type_to_facet_value.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
convert_facet_value_as_type_knows_original_type.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_facet_value_to_facet_value.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
convert_facet_value_to_itself.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
convert_facet_value_to_narrowed_facet_type.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
convert_facet_value_value_to_blanket_impl.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
convert_facet_value_value_to_generic_facet_value_value.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_facet_value_value_to_itself.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
convert_interface.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
early_rewrites.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
facet_assoc_const.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
fail_convert_class_type_to_generic_facet_value.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
fail_convert_facet_value_to_missing_impl.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
fail_convert_type_erased_type_to_facet.carbon
|
ff0cea55f6
Add require decls to Interface and NamedConstraint (#6321)
|
hai 5 meses |
|
fail_deduction_uses_runtime_type_conversion.carbon
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
hai 5 meses |
|
fail_incomplete.carbon
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
hai 5 meses |
|
fail_namespace_type.carbon
|
78d4cce9f8
Put min_prelude in a testdata dir (#5635)
|
hai 10 meses |
|
named_constant.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
nested_facet_types.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
period_self.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
require_import.carbon
|
0183fa301f
Import named constraints in a FacetType (#6368)
|
hai 5 meses |
|
require_invalid.carbon
|
e62678e682
Identify and complete facet types as needed for p5168 (#6369)
|
hai 5 meses |
|
require_satisified.carbon
|
b36f85c2a5
Add tests for when a `require` decl must be satisfied before impl as (#6348)
|
hai 5 meses |
|
runtime_value.carbon
|
0811d996e1
Finish renaming BindName and related insts. (#6281)
|
hai 6 meses |
|
self_in_interface_param.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
tuple_and_struct_type_literal.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
tuple_and_struct_type_value.carbon
|
5ae5170421
Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)
|
hai 5 meses |
|
validate_impl_constraints.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
|
validate_rewrite_constraints.carbon
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
hai 7 meses |
Dana Jansens