Skip to content

Infer the [const] Destruct bound on fields from [const] Destruct bound on struct #144207

New issue
New issue
Open
#144856
Open
Infer the [const] Destruct bound on fields from [const] Destruct bound on struct#144207
#144856
Labels
A-trait-systemArea: Trait systemC-enhancementCategory: An issue proposing an enhancement or a PR with one.F-const_trait_impl`#![feature(const_trait_impl)]`PG-const-traitsProject group: Const traitsT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
@Randl

Description

@Randl
Randl
opened on Jul 20, 2025

As per #143768 (comment)
If we have Option<T>: [const] Destruct this should imply T: [const] Destruct

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-trait-systemArea: Trait systemC-enhancementCategory: An issue proposing an enhancement or a PR with one.F-const_trait_impl`#![feature(const_trait_impl)]`PG-const-traitsProject group: Const traitsT-compilerRelevant to the compiler 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