Repository navigation

kind checker should also check type instantiations #2011

Closed

Labels

opened

on Mar 16, 2012

It is currently possible to instantiate a type that takes a <T: copy> type parameter with a noncopyable type. This can be used to circumvent the kind system. Should be relatively straightforward to check.

ghost assigned
marijnh
on Mar 16, 2012
marijnh
closed this as completedin cec1a9b on Mar 19, 2012
marijnh
removed their assignment
on Jun 16, 2014
celinval
added a commit that references this issue on Jun 4, 2024
Introduce a kani macro for checking coverage (rust-lang#2011)
81a8f8f
Kobzol
added a commit that references this issue on Dec 30, 2024
Fix typo: lists -> lints (rust-lang#2011)
2853519
bors
added a commit that references this issue on Jan 2, 2025
Fix typo: lists -> lints (rust-lang#2011)
46cdd51
folkertdev
added a commit that references this issue on Feb 5, 2026
Merge pull request rust-lang#2011 from folkertdev/wasm-narrow-llvm-22
5b8b7f5

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

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests