user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/const-generics/adt_const_params
History
Noah Lev 9479792cb4 WF-check struct field types at construction site 
Rustc of course already WF-checked the field types at the definition
site, but for error tainting of consts to work properly, there needs to
be an error emitted at the use site. Previously, with no use-site error,
we proceeded with CTFE and ran into ICEs since we are running code with
type errors.

Emitting use-site errors also brings struct-like constructors more in
line with fn-like constructors since they already emit use-site errors
for WF issues.
2024-08-05 17:37:12 -07:00
..
auxiliary Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
alias_const_param_ty-1.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
alias_const_param_ty-1.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
alias_const_param_ty-2.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_bad.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_bad.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_bad_empty_array.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_bad_empty_array.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_generic_bounds_do_not_hold.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_generic_bounds_do_not_hold.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_good.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_bad_field.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_bad_field.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_no_structural_eq.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_no_structural_eq.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_union.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_impl_union.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_object_safety.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
const_param_ty_object_safety.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
index-oob-ice-83993.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
index-oob-ice-83993.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
nested_bad_const_param_ty.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
nested_bad_const_param_ty.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
opaque_type_with_non-universal_region_substs_ice-111911.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
reference_pointee_is_const_param-1.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
reference_pointee_is_const_param-1.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
reference_pointee_is_const_param-2.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
reference_pointee_is_const_param-2.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
suggest_feature_only_when_possible.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
suggest_feature_only_when_possible.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
trait_objects_as_a_const_generic.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
trait_objects_as_a_const_generic.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
transmutable-ice-110969.rs Mark all missing generic args as errors 2024-06-03 13:16:56 +00:00
transmutable-ice-110969.stderr Revert suggestion verbosity change 2024-07-22 22:51:53 +00:00
unsized_field-1.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
unsized_field-1.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
unsized_field-2.rs Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
unsized_field-2.stderr Split part of adt_const_params into unsized_const_params 2024-07-17 11:01:29 +01:00
unsizing-wfcheck-issue-126272.rs WF-check struct field types at construction site 2024-08-05 17:37:12 -07:00
unsizing-wfcheck-issue-126272.stderr WF-check struct field types at construction site 2024-08-05 17:37:12 -07:00