File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
rust/ql/lib/codeql/rust/internal Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -1495,6 +1495,7 @@ private TypePath closureReturnPath() {
1495
1495
}
1496
1496
1497
1497
/** Gets the path to a closure with arity `arity`s `index`th parameter type. */
1498
+ pragma [ nomagic]
1498
1499
private TypePath closureParameterPath ( int arity , int index ) {
1499
1500
result =
1500
1501
TypePath:: cons ( TDynTraitTypeParameter ( any ( FnOnceTrait t ) .getTypeParam ( ) ) ,
@@ -1510,6 +1511,7 @@ private TypePath fnReturnPath() {
1510
1511
* Gets the path to the parameter type of the `FnOnce` trait with arity `arity`
1511
1512
* and index `index`.
1512
1513
*/
1514
+ pragma [ nomagic]
1513
1515
private TypePath fnParameterPath ( int arity , int index ) {
1514
1516
result =
1515
1517
TypePath:: cons ( TTypeParamTypeParameter ( any ( FnOnceTrait t ) .getTypeParam ( ) ) ,
You can’t perform that action at this time.
0 commit comments