Rust: Generate ParamBase, a superclass of Param and SelfParam
#18092
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| // A Param. For example: | ||
| todo!() | ||
| // A parameter in a function or method. For example `x` in: | ||
| fn new(x: T) -> Foo<T> { |
Check notice
Code scanning / CodeQL
Unused variable Note generated test
| // A SelfParam. For example: | ||
| todo!() | ||
| // A `self` parameter. For example `self` in: | ||
| fn push(&mut self, value: T) { |
Check notice
Code scanning / CodeQL
Unused variable Note generated test
| @@ -284,7 +273,7 @@ | |||
| private module SsaFlow = SsaImpl::DataFlowIntegration; | |||
|
|
|||
| private Node::ParameterNode toParameterNode(ParamCfgNode p) { | |||
| result.(Node::PositionalParameterNode).getParameter() = p | |||
| result.(Node::ParameterNode).getParameter() = p | |||
Check warning
Code scanning / CodeQL
Redundant cast Warning
| @@ -98,6 +98,7 @@ | |||
| import codeql.rust.elements.OffsetOfExpr | |||
| import codeql.rust.elements.OrPat | |||
| import codeql.rust.elements.Param | |||
| import codeql.rust.elements.ParamBase | |||
Check warning
Code scanning / CodeQL
Redundant import Warning
| */ | ||
|
|
||
| private import internal.ParamBaseImpl | ||
| import codeql.rust.elements.AstNode |
Check warning
Code scanning / CodeQL
Redundant import Warning
For now I've used it a few places in
DataFlowImpl.qll, but it should also be very useful for #18088.