Check the number of generic lifetime and const parameters of intrinsics by Fabia...
source link: https://github.com/rust-lang/rust/pull/86148
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
This pull request fixes #85855. The current code for type checking intrinsics only checks the number of generic type parameters, but does not check for an incorrect number of lifetime or const parameters, which can cause problems later on, such as the ICE in #85855, where the code thought that it was looking at a type parameter but found a lifetime parameter:
error: internal compiler error: compiler/rustc_middle/src/ty/generics.rs:188:18:
expected type parameter, but found another generic parameter
The changes in this PR add checks for the number of lifetime and const parameters, expand the scope of E0094
to also apply to these cases, and improve the error message by properly pluralizing the number of expected generic parameters.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK