Skip to content

[Work Item]: ConstParamTy checks for type of direct const items is unchecked/unimplemented #120

Description

@khyperia

rust-lang/rust#162517 introduced a FIXME:

// FIXME(min_generic_const_args): This check should be removed for mGCA, it is due to
// the lack of ConstParamTy rib-checking in nameres for directly represented const
// items.

before, when lowering type const syntax, there was a (Lifetime)RibKind::ConstParamTy that prevented some things in the types of type const. These checks no longer exist with direct-macro-RHS const items. That FIXME was a quick hack fix jank for that PR since there were bigger problems at hand, we should look into this topic more once that's merged and whatnot.

See also zulip discussion: #project-const-generics > casual chat and support @ 💬

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-work-itemSomething that needs to be implemented/done

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions