8

Check the number of generic lifetime and const parameters of intrinsics by Fabia...

 3 years ago
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.
neoserver,ios ssh client

Copy link

Contributor

FabianWolff commented on Jun 8

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.


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK