Skip to content

adt_const_params does not explicitly check for a union ConstParamTy impl #112125

Closed
@BoxyUwU

Description

@BoxyUwU

I am not sure there is actually a piece of code that is incorrectly compiled since you cannot manually impl StructuralEq and StructuralPartialEq and you also cant derive(Eq, PartialEq) on a union. regardless there is currently no check that a manual impl ConstParamTy for MyType { is not applied to a union. There should be one to ensure that we do not accidentally allow usage of unions in const param tys.

Meta

rustc --version --verbose:

Nightly channel

Build using the Nightly version: 1.72.0-nightly

(2023-05-29 498553fc04f6a3fdc534)
Backtrace

<backtrace>

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-const-genericsArea: const generics (parameters and arguments)C-bugCategory: This is a bug.F-adt_const_params`#![feature(adt_const_params)]`T-typesRelevant to the types team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions