hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20177 from hvitved/rust/type-inference-where

Browse Source 
Rust: Improve handling of where clauses in type inference and path resolution
This commit is contained in:
Tom Hvitved
2025-08-06 15:52:56 +02:00
committed by GitHub
parent d215ea16da b50a76693a
commit ed3a33fdc6
10 changed files with 3901 additions and 3744 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
rust/ql/lib/codeql/rust/elements/internal/TraitImpl.qll
View File

@@ -36,5 +36,36 @@ module Impl {
not this.hasGenericParamList() and
result = 0
}
private int nrOfDirectTypeBounds() {
result = this.getTypeBoundList().getNumberOfBounds()
or
not this.hasTypeBoundList() and
result = 0
}
/**
* Gets the `index`th type bound of this trait, if any.
*
* This includes type bounds directly on the trait and bounds from any
* `where` clauses for `Self`.
*/
TypeBound getTypeBound(int index) {
result = this.getTypeBoundList().getBound(index)
or
exists(WherePred wp |
wp = this.getWhereClause().getAPredicate() and
wp.getTypeRepr().(PathTypeRepr).getPath().getText() = "Self" and
result = wp.getTypeBoundList().getBound(index - this.nrOfDirectTypeBounds())
)
}
/**
* Gets a type bound of this trait.
*
* This includes type bounds directly on the trait and bounds from any
* `where` clauses for `Self`.
*/
TypeBound getATypeBound() { result = this.getTypeBound(_) }
}
}

36
rust/ql/lib/codeql/rust/elements/internal/TypeParamImpl.qll
View File

@@ -12,6 +12,7 @@ private import codeql.rust.elements.internal.generated.TypeParam
*/
module Impl {
private import rust
private import codeql.rust.internal.PathResolution
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
@@ -27,6 +28,41 @@ module Impl {
/** Gets the position of this type parameter. */
int getPosition() { this = any(GenericParamList l).getTypeParam(result) }
private TypeBound getTypeBoundAt(int i, int j) {
exists(TypeBoundList tbl | result = tbl.getBound(j) |
tbl = this.getTypeBoundList() and i = 0
or
exists(WherePred wp |
wp = this.(TypeParamItemNode).getAWherePred() and
tbl = wp.getTypeBoundList() and
wp = any(WhereClause wc).getPredicate(i)
)
)
}
/**
* Gets the `index`th type bound of this type parameter, if any.
*
* This includes type bounds directly on this type parameter and bounds from
* any `where` clauses for this type parameter.
*/
TypeBound getTypeBound(int index) {
result = rank[index + 1](int i, int j | | this.getTypeBoundAt(i, j) order by i, j)
}
/**
* Gets a type bound of this type parameter.
*
* This includes type bounds directly on this type parameter and bounds from
* any `where` clauses for this type parameter.
*/
TypeBound getATypeBound() {
// NOTE: This predicate is used in path resolution, so it can not be
// defined using `getTypeBound` as that would cause non-monotonic
// recursion due to the `rank`.
result = this.getTypeBoundAt(_, _)
}
override string toAbbreviatedString() { result = this.getName().getText() }
override string toStringImpl() { result = this.getName().getText() }

22
rust/ql/lib/codeql/rust/internal/PathResolution.qll
View File

@@ -791,9 +791,7 @@ private class StructItemNode extends TypeItemNode instanceof Struct {
class TraitItemNode extends ImplOrTraitItemNode, TypeItemNode instanceof Trait {
pragma[nomagic]
Path getABoundPath() {
result = super.getTypeBoundList().getABound().getTypeRepr().(PathTypeRepr).getPath()
}
Path getABoundPath() { result = super.getATypeBound().getTypeRepr().(PathTypeRepr).getPath() }
pragma[nomagic]
ItemNode resolveABound() { result = resolvePath(this.getABoundPath()) }
@@ -924,7 +922,8 @@ private class BlockExprItemNode extends ItemNode instanceof BlockExpr {
}
class TypeParamItemNode extends TypeItemNode instanceof TypeParam {
private WherePred getAWherePred() {
/** Gets a where predicate for this type parameter, if any */
WherePred getAWherePred() {
exists(ItemNode declaringItem |
this = resolveTypeParamPathTypeRepr(result.getTypeRepr()) and
result = declaringItem.getADescendant() and
@@ -933,13 +932,7 @@ class TypeParamItemNode extends TypeItemNode instanceof TypeParam {
}
pragma[nomagic]
Path getABoundPath() {
exists(TypeBoundList tbl | result = tbl.getABound().getTypeRepr().(PathTypeRepr).getPath() |
tbl = super.getTypeBoundList()
or
tbl = this.getAWherePred().getTypeBoundList()
)
}
Path getABoundPath() { result = super.getATypeBound().getTypeRepr().(PathTypeRepr).getPath() }
pragma[nomagic]
ItemNode resolveABound() { result = resolvePath(this.getABoundPath()) }
@@ -956,12 +949,7 @@ class TypeParamItemNode extends TypeItemNode instanceof TypeParam {
* ```
*/
cached
predicate hasTraitBound() {
Stages::PathResolutionStage::ref() and
exists(this.getABoundPath())
or
exists(this.getAWherePred())
}
predicate hasTraitBound() { Stages::PathResolutionStage::ref() and exists(this.getABoundPath()) }
/**
* Holds if this type parameter has no trait bound. Examples:

6
rust/ql/lib/codeql/rust/internal/TypeInference.qll
View File

@@ -151,7 +151,7 @@ private module Input2 implements InputSig2 {
TypeMention getABaseTypeMention(Type t) { none() }
TypeMention getATypeParameterConstraint(TypeParameter tp) {
result = tp.(TypeParamTypeParameter).getTypeParam().getTypeBoundList().getABound().getTypeRepr()
result = tp.(TypeParamTypeParameter).getTypeParam().getATypeBound().getTypeRepr()
or
result = tp.(SelfTypeParameter).getTrait()
or
@@ -184,12 +184,12 @@ private module Input2 implements InputSig2 {
exists(Trait trait |
abs = trait and
condition = trait and
constraint = trait.getTypeBoundList().getABound().getTypeRepr()
constraint = trait.getATypeBound().getTypeRepr()
)
or
// trait bounds on type parameters
exists(TypeParam param |
abs = param.getTypeBoundList().getABound() and
abs = param.getATypeBound() and
condition = param and
constraint = abs.(TypeBound).getTypeRepr()
)

6
rust/ql/test/library-tests/path-resolution/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -2,6 +2,6 @@ multipleCallTargets
| main.rs:118:9:118:11 | f(...) |
| proc_macro.rs:9:5:11:5 | ...::new(...) |
multiplePathResolutions
| main.rs:626:3:626:12 | proc_macro |
| main.rs:632:7:632:16 | proc_macro |
| main.rs:635:7:635:16 | proc_macro |
| main.rs:641:3:641:12 | proc_macro |
| main.rs:647:7:647:16 | proc_macro |
| main.rs:650:7:650:16 | proc_macro |

15
rust/ql/test/library-tests/path-resolution/main.rs
View File

@@ -312,6 +312,21 @@ mod m15 {
}
} // I82
#[rustfmt::skip]
trait Trait3<
TT // ITT
>
where
Self: Trait1, // $ item=ITrait3 item=I79
TT: Trait1, // $ item=ITT item=I79
{
fn f(&self, tt: TT) { // $ item=ITT
Self::g(self); // $ item=I80
TT::g(&tt); // $ item=I80
self.g(); // $ item=I80
}
} // ITrait3
struct S; // I81
#[rustfmt::skip]

489
rust/ql/test/library-tests/path-resolution/path-resolution.expected
View File

@@ -17,18 +17,18 @@ mod
| main.rs:269:1:281:1 | mod m12 |
| main.rs:283:1:296:1 | mod m13 |
| main.rs:287:5:295:5 | mod m14 |
| main.rs:298:1:352:1 | mod m15 |
| main.rs:354:1:446:1 | mod m16 |
| main.rs:448:1:478:1 | mod m17 |
| main.rs:480:1:498:1 | mod m18 |
| main.rs:485:5:497:5 | mod m19 |
| main.rs:490:9:496:9 | mod m20 |
| main.rs:500:1:525:1 | mod m21 |
| main.rs:501:5:507:5 | mod m22 |
| main.rs:509:5:524:5 | mod m33 |
| main.rs:527:1:552:1 | mod m23 |
| main.rs:554:1:622:1 | mod m24 |
| main.rs:639:1:691:1 | mod associated_types |
| main.rs:298:1:367:1 | mod m15 |
| main.rs:369:1:461:1 | mod m16 |
| main.rs:463:1:493:1 | mod m17 |
| main.rs:495:1:513:1 | mod m18 |
| main.rs:500:5:512:5 | mod m19 |
| main.rs:505:9:511:9 | mod m20 |
| main.rs:515:1:540:1 | mod m21 |
| main.rs:516:5:522:5 | mod m22 |
| main.rs:524:5:539:5 | mod m33 |
| main.rs:542:1:567:1 | mod m23 |
| main.rs:569:1:637:1 | mod m24 |
| main.rs:654:1:706:1 | mod associated_types |
| my2/mod.rs:1:1:1:16 | mod nested2 |
| my2/mod.rs:12:1:12:12 | mod my3 |
| my2/mod.rs:14:1:15:10 | mod mymod |
@@ -62,7 +62,7 @@ resolvePath
| main.rs:30:17:30:21 | super | main.rs:18:5:36:5 | mod m2 |
| main.rs:30:17:30:24 | ...::f | main.rs:19:9:21:9 | fn f |
| main.rs:33:17:33:17 | f | main.rs:19:9:21:9 | fn f |
| main.rs:40:9:40:13 | super | main.rs:1:1:731:2 | SourceFile |
| main.rs:40:9:40:13 | super | main.rs:1:1:746:2 | SourceFile |
| main.rs:40:9:40:17 | ...::m1 | main.rs:13:1:37:1 | mod m1 |
| main.rs:40:9:40:21 | ...::m2 | main.rs:18:5:36:5 | mod m2 |
| main.rs:40:9:40:24 | ...::g | main.rs:23:9:27:9 | fn g |
@@ -74,7 +74,7 @@ resolvePath
| main.rs:61:17:61:19 | Foo | main.rs:59:9:59:21 | struct Foo |
| main.rs:64:13:64:15 | Foo | main.rs:53:5:53:17 | struct Foo |
| main.rs:66:5:66:5 | f | main.rs:55:5:62:5 | fn f |
| main.rs:68:5:68:8 | self | main.rs:1:1:731:2 | SourceFile |
| main.rs:68:5:68:8 | self | main.rs:1:1:746:2 | SourceFile |
| main.rs:68:5:68:11 | ...::i | main.rs:71:1:83:1 | fn i |
| main.rs:74:13:74:15 | Foo | main.rs:48:1:48:13 | struct Foo |
| main.rs:78:16:78:18 | i32 | {EXTERNAL LOCATION} | struct i32 |
@@ -89,7 +89,7 @@ resolvePath
| main.rs:87:57:87:66 | ...::g | my2/nested2.rs:7:9:9:9 | fn g |
| main.rs:87:80:87:86 | nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
| main.rs:100:5:100:22 | f_defined_in_macro | main.rs:99:18:99:42 | fn f_defined_in_macro |
| main.rs:117:13:117:17 | super | main.rs:1:1:731:2 | SourceFile |
| main.rs:117:13:117:17 | super | main.rs:1:1:746:2 | SourceFile |
| main.rs:117:13:117:21 | ...::m5 | main.rs:103:1:107:1 | mod m5 |
| main.rs:118:9:118:9 | f | main.rs:104:5:106:5 | fn f |
| main.rs:118:9:118:9 | f | main.rs:110:5:112:5 | fn f |
@@ -156,230 +156,239 @@ resolvePath
| main.rs:307:9:307:14 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:310:13:310:16 | Self | main.rs:305:5:313:5 | trait Trait2 |
| main.rs:310:13:310:19 | ...::g | main.rs:302:9:302:20 | fn g |
| main.rs:318:10:318:15 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:319:11:319:11 | S | main.rs:315:5:315:13 | struct S |
| main.rs:322:13:322:16 | Self | main.rs:317:5:329:5 | impl Trait1 for S { ... } |
| main.rs:322:13:322:19 | ...::g | main.rs:326:9:328:9 | fn g |
| main.rs:332:10:332:15 | Trait2 | main.rs:305:5:313:5 | trait Trait2 |
| main.rs:333:11:333:11 | S | main.rs:315:5:315:13 | struct S |
| main.rs:342:17:342:17 | S | main.rs:315:5:315:13 | struct S |
| main.rs:343:10:343:10 | S | main.rs:315:5:315:13 | struct S |
| main.rs:344:14:344:19 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:346:10:346:10 | S | main.rs:315:5:315:13 | struct S |
| main.rs:347:14:347:19 | Trait2 | main.rs:305:5:313:5 | trait Trait2 |
| main.rs:349:9:349:9 | S | main.rs:315:5:315:13 | struct S |
| main.rs:349:9:349:12 | ...::g | main.rs:326:9:328:9 | fn g |
| main.rs:359:24:359:24 | T | main.rs:357:7:357:7 | T |
| main.rs:361:24:361:24 | T | main.rs:357:7:357:7 | T |
| main.rs:364:24:364:24 | T | main.rs:357:7:357:7 | T |
| main.rs:365:13:365:16 | Self | main.rs:355:5:371:5 | trait Trait1 |
| main.rs:365:13:365:19 | ...::g | main.rs:361:9:362:9 | fn g |
| main.rs:369:18:369:18 | T | main.rs:357:7:357:7 | T |
| main.rs:377:9:379:9 | Trait1::<...> | main.rs:355:5:371:5 | trait Trait1 |
| main.rs:378:11:378:11 | T | main.rs:375:7:375:7 | T |
| main.rs:380:24:380:24 | T | main.rs:375:7:375:7 | T |
| main.rs:382:13:382:16 | Self | main.rs:373:5:386:5 | trait Trait2 |
| main.rs:382:13:382:19 | ...::g | main.rs:361:9:362:9 | fn g |
| main.rs:384:13:384:16 | Self | main.rs:373:5:386:5 | trait Trait2 |
| main.rs:384:13:384:19 | ...::c | main.rs:369:9:370:9 | Const |
| main.rs:391:10:393:5 | Trait1::<...> | main.rs:355:5:371:5 | trait Trait1 |
| main.rs:392:7:392:7 | S | main.rs:388:5:388:13 | struct S |
| main.rs:394:11:394:11 | S | main.rs:388:5:388:13 | struct S |
| main.rs:395:24:395:24 | S | main.rs:388:5:388:13 | struct S |
| main.rs:397:13:397:16 | Self | main.rs:390:5:408:5 | impl Trait1::<...> for S { ... } |
| main.rs:397:13:397:19 | ...::g | main.rs:401:9:404:9 | fn g |
| main.rs:401:24:401:24 | S | main.rs:388:5:388:13 | struct S |
| main.rs:403:13:403:16 | Self | main.rs:390:5:408:5 | impl Trait1::<...> for S { ... } |
| main.rs:403:13:403:19 | ...::c | main.rs:406:9:407:9 | Const |
| main.rs:406:18:406:18 | S | main.rs:388:5:388:13 | struct S |
| main.rs:406:22:406:22 | S | main.rs:388:5:388:13 | struct S |
| main.rs:411:10:413:5 | Trait2::<...> | main.rs:373:5:386:5 | trait Trait2 |
| main.rs:412:7:412:7 | S | main.rs:388:5:388:13 | struct S |
| main.rs:414:11:414:11 | S | main.rs:388:5:388:13 | struct S |
| main.rs:415:24:415:24 | S | main.rs:388:5:388:13 | struct S |
| main.rs:417:13:417:16 | Self | main.rs:410:5:419:5 | impl Trait2::<...> for S { ... } |
| main.rs:424:17:424:17 | S | main.rs:388:5:388:13 | struct S |
| main.rs:425:10:425:10 | S | main.rs:388:5:388:13 | struct S |
| main.rs:426:14:428:11 | Trait1::<...> | main.rs:355:5:371:5 | trait Trait1 |
| main.rs:427:13:427:13 | S | main.rs:388:5:388:13 | struct S |
| main.rs:430:10:430:10 | S | main.rs:388:5:388:13 | struct S |
| main.rs:431:14:433:11 | Trait2::<...> | main.rs:373:5:386:5 | trait Trait2 |
| main.rs:432:13:432:13 | S | main.rs:388:5:388:13 | struct S |
| main.rs:435:9:435:9 | S | main.rs:388:5:388:13 | struct S |
| main.rs:435:9:435:12 | ...::g | main.rs:401:9:404:9 | fn g |
| main.rs:437:9:437:9 | S | main.rs:388:5:388:13 | struct S |
| main.rs:437:9:437:12 | ...::h | main.rs:364:9:367:9 | fn h |
| main.rs:439:9:439:9 | S | main.rs:388:5:388:13 | struct S |
| main.rs:439:9:439:12 | ...::c | main.rs:406:9:407:9 | Const |
| main.rs:440:10:440:10 | S | main.rs:388:5:388:13 | struct S |
| main.rs:441:14:443:11 | Trait1::<...> | main.rs:355:5:371:5 | trait Trait1 |
| main.rs:442:13:442:13 | S | main.rs:388:5:388:13 | struct S |
| main.rs:456:10:456:16 | MyTrait | main.rs:449:5:451:5 | trait MyTrait |
| main.rs:457:9:457:9 | S | main.rs:453:5:453:13 | struct S |
| main.rs:465:7:465:13 | MyTrait | main.rs:449:5:451:5 | trait MyTrait |
| main.rs:466:10:466:10 | T | main.rs:464:10:464:10 | T |
| main.rs:468:9:468:9 | T | main.rs:464:10:464:10 | T |
| main.rs:468:9:468:12 | ...::f | main.rs:450:9:450:20 | fn f |
| main.rs:469:9:469:15 | MyTrait | main.rs:449:5:451:5 | trait MyTrait |
| main.rs:469:9:469:18 | ...::f | main.rs:450:9:450:20 | fn f |
| main.rs:474:9:474:9 | g | main.rs:463:5:470:5 | fn g |
| main.rs:475:11:475:11 | S | main.rs:453:5:453:13 | struct S |
| main.rs:493:17:493:21 | super | main.rs:485:5:497:5 | mod m19 |
| main.rs:493:17:493:24 | ...::f | main.rs:486:9:488:9 | fn f |
| main.rs:494:17:494:21 | super | main.rs:485:5:497:5 | mod m19 |
| main.rs:494:17:494:28 | ...::super | main.rs:480:1:498:1 | mod m18 |
| main.rs:494:17:494:31 | ...::f | main.rs:481:5:483:5 | fn f |
| main.rs:511:13:511:17 | super | main.rs:500:1:525:1 | mod m21 |
| main.rs:511:13:511:22 | ...::m22 | main.rs:501:5:507:5 | mod m22 |
| main.rs:511:13:511:30 | ...::MyEnum | main.rs:502:9:504:9 | enum MyEnum |
| main.rs:512:13:512:16 | self | main.rs:502:9:504:9 | enum MyEnum |
| main.rs:516:13:516:17 | super | main.rs:500:1:525:1 | mod m21 |
| main.rs:516:13:516:22 | ...::m22 | main.rs:501:5:507:5 | mod m22 |
| main.rs:516:13:516:32 | ...::MyStruct | main.rs:506:9:506:28 | struct MyStruct |
| main.rs:517:13:517:16 | self | main.rs:506:9:506:28 | struct MyStruct |
| main.rs:521:21:521:26 | MyEnum | main.rs:502:9:504:9 | enum MyEnum |
| main.rs:521:21:521:29 | ...::A | main.rs:503:13:503:13 | A |
| main.rs:522:21:522:28 | MyStruct | main.rs:506:9:506:28 | struct MyStruct |
| main.rs:538:10:540:5 | Trait1::<...> | main.rs:528:5:533:5 | trait Trait1 |
| main.rs:539:7:539:10 | Self | main.rs:535:5:535:13 | struct S |
| main.rs:541:11:541:11 | S | main.rs:535:5:535:13 | struct S |
| main.rs:549:17:549:17 | S | main.rs:535:5:535:13 | struct S |
| main.rs:565:15:565:15 | T | main.rs:564:26:564:26 | T |
| main.rs:570:9:570:24 | GenericStruct::<...> | main.rs:563:5:566:5 | struct GenericStruct |
| main.rs:570:23:570:23 | T | main.rs:569:10:569:10 | T |
| main.rs:572:9:572:9 | T | main.rs:569:10:569:10 | T |
| main.rs:572:12:572:17 | TraitA | main.rs:555:5:557:5 | trait TraitA |
| main.rs:581:9:581:24 | GenericStruct::<...> | main.rs:563:5:566:5 | struct GenericStruct |
| main.rs:581:23:581:23 | T | main.rs:580:10:580:10 | T |
| main.rs:583:9:583:9 | T | main.rs:580:10:580:10 | T |
| main.rs:583:12:583:17 | TraitB | main.rs:559:5:561:5 | trait TraitB |
| main.rs:584:9:584:9 | T | main.rs:580:10:580:10 | T |
| main.rs:584:12:584:17 | TraitA | main.rs:555:5:557:5 | trait TraitA |
| main.rs:595:10:595:15 | TraitA | main.rs:555:5:557:5 | trait TraitA |
| main.rs:595:21:595:31 | Implementor | main.rs:592:5:592:23 | struct Implementor |
| main.rs:602:10:602:15 | TraitB | main.rs:559:5:561:5 | trait TraitB |
| main.rs:602:21:602:31 | Implementor | main.rs:592:5:592:23 | struct Implementor |
| main.rs:610:24:610:34 | Implementor | main.rs:592:5:592:23 | struct Implementor |
| main.rs:611:23:611:35 | GenericStruct | main.rs:563:5:566:5 | struct GenericStruct |
| main.rs:617:9:617:36 | GenericStruct::<...> | main.rs:563:5:566:5 | struct GenericStruct |
| main.rs:617:9:617:50 | ...::call_trait_a | main.rs:574:9:576:9 | fn call_trait_a |
| main.rs:617:25:617:35 | Implementor | main.rs:592:5:592:23 | struct Implementor |
| main.rs:620:9:620:36 | GenericStruct::<...> | main.rs:563:5:566:5 | struct GenericStruct |
| main.rs:620:9:620:47 | ...::call_both | main.rs:586:9:589:9 | fn call_both |
| main.rs:620:25:620:35 | Implementor | main.rs:592:5:592:23 | struct Implementor |
| main.rs:626:3:626:12 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:626:3:626:12 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:626:3:626:24 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:630:6:630:12 | AStruct | main.rs:629:1:629:17 | struct AStruct |
| main.rs:632:7:632:16 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:632:7:632:16 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:632:7:632:28 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:635:7:635:16 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:635:7:635:16 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:635:7:635:28 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:640:9:640:11 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:640:9:640:19 | ...::marker | {EXTERNAL LOCATION} | mod marker |
| main.rs:640:9:640:32 | ...::PhantomData | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:641:9:641:11 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:641:9:641:19 | ...::result | {EXTERNAL LOCATION} | mod result |
| main.rs:641:9:641:27 | ...::Result | {EXTERNAL LOCATION} | enum Result |
| main.rs:649:19:649:22 | Self | main.rs:643:5:651:5 | trait Reduce |
| main.rs:649:19:649:29 | ...::Input | main.rs:644:9:644:19 | type Input |
| main.rs:650:14:650:46 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:650:21:650:24 | Self | main.rs:643:5:651:5 | trait Reduce |
| main.rs:650:21:650:32 | ...::Output | main.rs:645:21:646:20 | type Output |
| main.rs:650:35:650:38 | Self | main.rs:643:5:651:5 | trait Reduce |
| main.rs:650:35:650:45 | ...::Error | main.rs:644:21:645:19 | type Error |
| main.rs:654:17:654:34 | PhantomData::<...> | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:654:29:654:33 | Input | main.rs:653:19:653:23 | Input |
| main.rs:655:17:655:34 | PhantomData::<...> | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:655:29:655:33 | Error | main.rs:653:26:653:30 | Error |
| main.rs:662:11:662:16 | Reduce | main.rs:643:5:651:5 | trait Reduce |
| main.rs:663:13:666:9 | MyImpl::<...> | main.rs:653:5:656:5 | struct MyImpl |
| main.rs:664:13:664:17 | Input | main.rs:660:13:660:17 | Input |
| main.rs:665:13:665:17 | Error | main.rs:661:13:661:17 | Error |
| main.rs:668:22:671:9 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:669:13:669:17 | Input | main.rs:660:13:660:17 | Input |
| main.rs:670:13:670:16 | Self | main.rs:658:5:690:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:670:13:670:23 | ...::Error | main.rs:672:11:676:9 | type Error |
| main.rs:673:22:675:9 | Option::<...> | {EXTERNAL LOCATION} | enum Option |
| main.rs:674:11:674:15 | Error | main.rs:661:13:661:17 | Error |
| main.rs:678:13:678:17 | Input | main.rs:660:13:660:17 | Input |
| main.rs:683:19:683:22 | Self | main.rs:658:5:690:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:683:19:683:29 | ...::Input | main.rs:668:9:672:9 | type Input |
| main.rs:684:14:687:9 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:685:13:685:16 | Self | main.rs:658:5:690:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:685:13:685:24 | ...::Output | main.rs:676:11:679:9 | type Output |
| main.rs:686:13:686:16 | Self | main.rs:658:5:690:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:686:13:686:23 | ...::Error | main.rs:672:11:676:9 | type Error |
| main.rs:693:5:693:7 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:693:11:693:14 | self | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:695:15:695:17 | ztd | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:695:15:695:25 | ...::string | {EXTERNAL LOCATION} | mod string |
| main.rs:695:15:695:33 | ...::String | {EXTERNAL LOCATION} | struct String |
| main.rs:698:5:698:6 | my | main.rs:1:1:1:7 | mod my |
| main.rs:698:5:698:14 | ...::nested | my.rs:1:1:1:15 | mod nested |
| main.rs:698:5:698:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |
| main.rs:698:5:698:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |
| main.rs:698:5:698:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |
| main.rs:699:5:699:6 | my | main.rs:1:1:1:7 | mod my |
| main.rs:699:5:699:9 | ...::f | my.rs:5:1:7:1 | fn f |
| main.rs:700:5:700:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
| main.rs:700:5:700:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
| main.rs:700:5:700:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
| main.rs:700:5:700:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:701:5:701:5 | f | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:702:5:702:5 | g | my2/nested2.rs:7:9:9:9 | fn g |
| main.rs:703:5:703:9 | crate | main.rs:0:0:0:0 | Crate(main@0.0.1) |
| main.rs:703:5:703:12 | ...::h | main.rs:50:1:69:1 | fn h |
| main.rs:704:5:704:6 | m1 | main.rs:13:1:37:1 | mod m1 |
| main.rs:704:5:704:10 | ...::m2 | main.rs:18:5:36:5 | mod m2 |
| main.rs:704:5:704:13 | ...::g | main.rs:23:9:27:9 | fn g |
| main.rs:705:5:705:6 | m1 | main.rs:13:1:37:1 | mod m1 |
| main.rs:705:5:705:10 | ...::m2 | main.rs:18:5:36:5 | mod m2 |
| main.rs:705:5:705:14 | ...::m3 | main.rs:29:9:35:9 | mod m3 |
| main.rs:705:5:705:17 | ...::h | main.rs:30:27:34:13 | fn h |
| main.rs:706:5:706:6 | m4 | main.rs:39:1:46:1 | mod m4 |
| main.rs:706:5:706:9 | ...::i | main.rs:42:5:45:5 | fn i |
| main.rs:707:5:707:5 | h | main.rs:50:1:69:1 | fn h |
| main.rs:708:5:708:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:709:5:709:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |
| main.rs:710:5:710:5 | j | main.rs:97:1:101:1 | fn j |
| main.rs:711:5:711:6 | m6 | main.rs:109:1:120:1 | mod m6 |
| main.rs:711:5:711:9 | ...::g | main.rs:114:5:119:5 | fn g |
| main.rs:712:5:712:6 | m7 | main.rs:122:1:141:1 | mod m7 |
| main.rs:712:5:712:9 | ...::f | main.rs:133:5:140:5 | fn f |
| main.rs:713:5:713:6 | m8 | main.rs:143:1:197:1 | mod m8 |
| main.rs:713:5:713:9 | ...::g | main.rs:181:5:196:5 | fn g |
| main.rs:714:5:714:6 | m9 | main.rs:199:1:207:1 | mod m9 |
| main.rs:714:5:714:9 | ...::f | main.rs:202:5:206:5 | fn f |
| main.rs:715:5:715:7 | m11 | main.rs:230:1:267:1 | mod m11 |
| main.rs:715:5:715:10 | ...::f | main.rs:235:5:238:5 | fn f |
| main.rs:716:5:716:7 | m15 | main.rs:298:1:352:1 | mod m15 |
| main.rs:716:5:716:10 | ...::f | main.rs:339:5:351:5 | fn f |
| main.rs:717:5:717:7 | m16 | main.rs:354:1:446:1 | mod m16 |
| main.rs:717:5:717:10 | ...::f | main.rs:421:5:445:5 | fn f |
| main.rs:718:5:718:7 | m17 | main.rs:448:1:478:1 | mod m17 |
| main.rs:718:5:718:10 | ...::f | main.rs:472:5:477:5 | fn f |
| main.rs:719:5:719:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |
| main.rs:719:5:719:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |
| main.rs:720:5:720:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |
| main.rs:720:5:720:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |
| main.rs:721:5:721:7 | my3 | my2/mod.rs:12:1:12:12 | mod my3 |
| main.rs:721:5:721:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |
| main.rs:722:5:722:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
| main.rs:723:5:723:7 | m18 | main.rs:480:1:498:1 | mod m18 |
| main.rs:723:5:723:12 | ...::m19 | main.rs:485:5:497:5 | mod m19 |
| main.rs:723:5:723:17 | ...::m20 | main.rs:490:9:496:9 | mod m20 |
| main.rs:723:5:723:20 | ...::g | main.rs:491:13:495:13 | fn g |
| main.rs:724:5:724:7 | m23 | main.rs:527:1:552:1 | mod m23 |
| main.rs:724:5:724:10 | ...::f | main.rs:547:5:551:5 | fn f |
| main.rs:725:5:725:7 | m24 | main.rs:554:1:622:1 | mod m24 |
| main.rs:725:5:725:10 | ...::f | main.rs:608:5:621:5 | fn f |
| main.rs:726:5:726:8 | zelf | main.rs:0:0:0:0 | Crate(main@0.0.1) |
| main.rs:726:5:726:11 | ...::h | main.rs:50:1:69:1 | fn h |
| main.rs:728:5:728:11 | AStruct | main.rs:629:1:629:17 | struct AStruct |
| main.rs:729:5:729:11 | AStruct | main.rs:629:1:629:17 | struct AStruct |
| main.rs:320:9:320:12 | Self | main.rs:315:5:328:5 | trait Trait3 |
| main.rs:320:15:320:20 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:321:9:321:10 | TT | main.rs:317:9:317:10 | TT |
| main.rs:321:13:321:18 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:323:25:323:26 | TT | main.rs:317:9:317:10 | TT |
| main.rs:324:13:324:16 | Self | main.rs:315:5:328:5 | trait Trait3 |
| main.rs:324:13:324:19 | ...::g | main.rs:302:9:302:20 | fn g |
| main.rs:325:13:325:14 | TT | main.rs:317:9:317:10 | TT |
| main.rs:325:13:325:17 | ...::g | main.rs:302:9:302:20 | fn g |
| main.rs:333:10:333:15 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:334:11:334:11 | S | main.rs:330:5:330:13 | struct S |
| main.rs:337:13:337:16 | Self | main.rs:332:5:344:5 | impl Trait1 for S { ... } |
| main.rs:337:13:337:19 | ...::g | main.rs:341:9:343:9 | fn g |
| main.rs:347:10:347:15 | Trait2 | main.rs:305:5:313:5 | trait Trait2 |
| main.rs:348:11:348:11 | S | main.rs:330:5:330:13 | struct S |
| main.rs:357:17:357:17 | S | main.rs:330:5:330:13 | struct S |
| main.rs:358:10:358:10 | S | main.rs:330:5:330:13 | struct S |
| main.rs:359:14:359:19 | Trait1 | main.rs:299:5:303:5 | trait Trait1 |
| main.rs:361:10:361:10 | S | main.rs:330:5:330:13 | struct S |
| main.rs:362:14:362:19 | Trait2 | main.rs:305:5:313:5 | trait Trait2 |
| main.rs:364:9:364:9 | S | main.rs:330:5:330:13 | struct S |
| main.rs:364:9:364:12 | ...::g | main.rs:341:9:343:9 | fn g |
| main.rs:374:24:374:24 | T | main.rs:372:7:372:7 | T |
| main.rs:376:24:376:24 | T | main.rs:372:7:372:7 | T |
| main.rs:379:24:379:24 | T | main.rs:372:7:372:7 | T |
| main.rs:380:13:380:16 | Self | main.rs:370:5:386:5 | trait Trait1 |
| main.rs:380:13:380:19 | ...::g | main.rs:376:9:377:9 | fn g |
| main.rs:384:18:384:18 | T | main.rs:372:7:372:7 | T |
| main.rs:392:9:394:9 | Trait1::<...> | main.rs:370:5:386:5 | trait Trait1 |
| main.rs:393:11:393:11 | T | main.rs:390:7:390:7 | T |
| main.rs:395:24:395:24 | T | main.rs:390:7:390:7 | T |
| main.rs:397:13:397:16 | Self | main.rs:388:5:401:5 | trait Trait2 |
| main.rs:397:13:397:19 | ...::g | main.rs:376:9:377:9 | fn g |
| main.rs:399:13:399:16 | Self | main.rs:388:5:401:5 | trait Trait2 |
| main.rs:399:13:399:19 | ...::c | main.rs:384:9:385:9 | Const |
| main.rs:406:10:408:5 | Trait1::<...> | main.rs:370:5:386:5 | trait Trait1 |
| main.rs:407:7:407:7 | S | main.rs:403:5:403:13 | struct S |
| main.rs:409:11:409:11 | S | main.rs:403:5:403:13 | struct S |
| main.rs:410:24:410:24 | S | main.rs:403:5:403:13 | struct S |
| main.rs:412:13:412:16 | Self | main.rs:405:5:423:5 | impl Trait1::<...> for S { ... } |
| main.rs:412:13:412:19 | ...::g | main.rs:416:9:419:9 | fn g |
| main.rs:416:24:416:24 | S | main.rs:403:5:403:13 | struct S |
| main.rs:418:13:418:16 | Self | main.rs:405:5:423:5 | impl Trait1::<...> for S { ... } |
| main.rs:418:13:418:19 | ...::c | main.rs:421:9:422:9 | Const |
| main.rs:421:18:421:18 | S | main.rs:403:5:403:13 | struct S |
| main.rs:421:22:421:22 | S | main.rs:403:5:403:13 | struct S |
| main.rs:426:10:428:5 | Trait2::<...> | main.rs:388:5:401:5 | trait Trait2 |
| main.rs:427:7:427:7 | S | main.rs:403:5:403:13 | struct S |
| main.rs:429:11:429:11 | S | main.rs:403:5:403:13 | struct S |
| main.rs:430:24:430:24 | S | main.rs:403:5:403:13 | struct S |
| main.rs:432:13:432:16 | Self | main.rs:425:5:434:5 | impl Trait2::<...> for S { ... } |
| main.rs:439:17:439:17 | S | main.rs:403:5:403:13 | struct S |
| main.rs:440:10:440:10 | S | main.rs:403:5:403:13 | struct S |
| main.rs:441:14:443:11 | Trait1::<...> | main.rs:370:5:386:5 | trait Trait1 |
| main.rs:442:13:442:13 | S | main.rs:403:5:403:13 | struct S |
| main.rs:445:10:445:10 | S | main.rs:403:5:403:13 | struct S |
| main.rs:446:14:448:11 | Trait2::<...> | main.rs:388:5:401:5 | trait Trait2 |
| main.rs:447:13:447:13 | S | main.rs:403:5:403:13 | struct S |
| main.rs:450:9:450:9 | S | main.rs:403:5:403:13 | struct S |
| main.rs:450:9:450:12 | ...::g | main.rs:416:9:419:9 | fn g |
| main.rs:452:9:452:9 | S | main.rs:403:5:403:13 | struct S |
| main.rs:452:9:452:12 | ...::h | main.rs:379:9:382:9 | fn h |
| main.rs:454:9:454:9 | S | main.rs:403:5:403:13 | struct S |
| main.rs:454:9:454:12 | ...::c | main.rs:421:9:422:9 | Const |
| main.rs:455:10:455:10 | S | main.rs:403:5:403:13 | struct S |
| main.rs:456:14:458:11 | Trait1::<...> | main.rs:370:5:386:5 | trait Trait1 |
| main.rs:457:13:457:13 | S | main.rs:403:5:403:13 | struct S |
| main.rs:471:10:471:16 | MyTrait | main.rs:464:5:466:5 | trait MyTrait |
| main.rs:472:9:472:9 | S | main.rs:468:5:468:13 | struct S |
| main.rs:480:7:480:13 | MyTrait | main.rs:464:5:466:5 | trait MyTrait |
| main.rs:481:10:481:10 | T | main.rs:479:10:479:10 | T |
| main.rs:483:9:483:9 | T | main.rs:479:10:479:10 | T |
| main.rs:483:9:483:12 | ...::f | main.rs:465:9:465:20 | fn f |
| main.rs:484:9:484:15 | MyTrait | main.rs:464:5:466:5 | trait MyTrait |
| main.rs:484:9:484:18 | ...::f | main.rs:465:9:465:20 | fn f |
| main.rs:489:9:489:9 | g | main.rs:478:5:485:5 | fn g |
| main.rs:490:11:490:11 | S | main.rs:468:5:468:13 | struct S |
| main.rs:508:17:508:21 | super | main.rs:500:5:512:5 | mod m19 |
| main.rs:508:17:508:24 | ...::f | main.rs:501:9:503:9 | fn f |
| main.rs:509:17:509:21 | super | main.rs:500:5:512:5 | mod m19 |
| main.rs:509:17:509:28 | ...::super | main.rs:495:1:513:1 | mod m18 |
| main.rs:509:17:509:31 | ...::f | main.rs:496:5:498:5 | fn f |
| main.rs:526:13:526:17 | super | main.rs:515:1:540:1 | mod m21 |
| main.rs:526:13:526:22 | ...::m22 | main.rs:516:5:522:5 | mod m22 |
| main.rs:526:13:526:30 | ...::MyEnum | main.rs:517:9:519:9 | enum MyEnum |
| main.rs:527:13:527:16 | self | main.rs:517:9:519:9 | enum MyEnum |
| main.rs:531:13:531:17 | super | main.rs:515:1:540:1 | mod m21 |
| main.rs:531:13:531:22 | ...::m22 | main.rs:516:5:522:5 | mod m22 |
| main.rs:531:13:531:32 | ...::MyStruct | main.rs:521:9:521:28 | struct MyStruct |
| main.rs:532:13:532:16 | self | main.rs:521:9:521:28 | struct MyStruct |
| main.rs:536:21:536:26 | MyEnum | main.rs:517:9:519:9 | enum MyEnum |
| main.rs:536:21:536:29 | ...::A | main.rs:518:13:518:13 | A |
| main.rs:537:21:537:28 | MyStruct | main.rs:521:9:521:28 | struct MyStruct |
| main.rs:553:10:555:5 | Trait1::<...> | main.rs:543:5:548:5 | trait Trait1 |
| main.rs:554:7:554:10 | Self | main.rs:550:5:550:13 | struct S |
| main.rs:556:11:556:11 | S | main.rs:550:5:550:13 | struct S |
| main.rs:564:17:564:17 | S | main.rs:550:5:550:13 | struct S |
| main.rs:580:15:580:15 | T | main.rs:579:26:579:26 | T |
| main.rs:585:9:585:24 | GenericStruct::<...> | main.rs:578:5:581:5 | struct GenericStruct |
| main.rs:585:23:585:23 | T | main.rs:584:10:584:10 | T |
| main.rs:587:9:587:9 | T | main.rs:584:10:584:10 | T |
| main.rs:587:12:587:17 | TraitA | main.rs:570:5:572:5 | trait TraitA |
| main.rs:596:9:596:24 | GenericStruct::<...> | main.rs:578:5:581:5 | struct GenericStruct |
| main.rs:596:23:596:23 | T | main.rs:595:10:595:10 | T |
| main.rs:598:9:598:9 | T | main.rs:595:10:595:10 | T |
| main.rs:598:12:598:17 | TraitB | main.rs:574:5:576:5 | trait TraitB |
| main.rs:599:9:599:9 | T | main.rs:595:10:595:10 | T |
| main.rs:599:12:599:17 | TraitA | main.rs:570:5:572:5 | trait TraitA |
| main.rs:610:10:610:15 | TraitA | main.rs:570:5:572:5 | trait TraitA |
| main.rs:610:21:610:31 | Implementor | main.rs:607:5:607:23 | struct Implementor |
| main.rs:617:10:617:15 | TraitB | main.rs:574:5:576:5 | trait TraitB |
| main.rs:617:21:617:31 | Implementor | main.rs:607:5:607:23 | struct Implementor |
| main.rs:625:24:625:34 | Implementor | main.rs:607:5:607:23 | struct Implementor |
| main.rs:626:23:626:35 | GenericStruct | main.rs:578:5:581:5 | struct GenericStruct |
| main.rs:632:9:632:36 | GenericStruct::<...> | main.rs:578:5:581:5 | struct GenericStruct |
| main.rs:632:9:632:50 | ...::call_trait_a | main.rs:589:9:591:9 | fn call_trait_a |
| main.rs:632:25:632:35 | Implementor | main.rs:607:5:607:23 | struct Implementor |
| main.rs:635:9:635:36 | GenericStruct::<...> | main.rs:578:5:581:5 | struct GenericStruct |
| main.rs:635:9:635:47 | ...::call_both | main.rs:601:9:604:9 | fn call_both |
| main.rs:635:25:635:35 | Implementor | main.rs:607:5:607:23 | struct Implementor |
| main.rs:641:3:641:12 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:641:3:641:12 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:641:3:641:24 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:645:6:645:12 | AStruct | main.rs:644:1:644:17 | struct AStruct |
| main.rs:647:7:647:16 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:647:7:647:16 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:647:7:647:28 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:650:7:650:16 | proc_macro | {EXTERNAL LOCATION} | Crate(proc_macro@0.0.0) |
| main.rs:650:7:650:16 | proc_macro | proc_macro.rs:0:0:0:0 | Crate(proc_macro@0.0.1) |
| main.rs:650:7:650:28 | ...::add_suffix | proc_macro.rs:4:1:12:1 | fn add_suffix |
| main.rs:655:9:655:11 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:655:9:655:19 | ...::marker | {EXTERNAL LOCATION} | mod marker |
| main.rs:655:9:655:32 | ...::PhantomData | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:656:9:656:11 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:656:9:656:19 | ...::result | {EXTERNAL LOCATION} | mod result |
| main.rs:656:9:656:27 | ...::Result | {EXTERNAL LOCATION} | enum Result |
| main.rs:664:19:664:22 | Self | main.rs:658:5:666:5 | trait Reduce |
| main.rs:664:19:664:29 | ...::Input | main.rs:659:9:659:19 | type Input |
| main.rs:665:14:665:46 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:665:21:665:24 | Self | main.rs:658:5:666:5 | trait Reduce |
| main.rs:665:21:665:32 | ...::Output | main.rs:660:21:661:20 | type Output |
| main.rs:665:35:665:38 | Self | main.rs:658:5:666:5 | trait Reduce |
| main.rs:665:35:665:45 | ...::Error | main.rs:659:21:660:19 | type Error |
| main.rs:669:17:669:34 | PhantomData::<...> | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:669:29:669:33 | Input | main.rs:668:19:668:23 | Input |
| main.rs:670:17:670:34 | PhantomData::<...> | {EXTERNAL LOCATION} | struct PhantomData |
| main.rs:670:29:670:33 | Error | main.rs:668:26:668:30 | Error |
| main.rs:677:11:677:16 | Reduce | main.rs:658:5:666:5 | trait Reduce |
| main.rs:678:13:681:9 | MyImpl::<...> | main.rs:668:5:671:5 | struct MyImpl |
| main.rs:679:13:679:17 | Input | main.rs:675:13:675:17 | Input |
| main.rs:680:13:680:17 | Error | main.rs:676:13:676:17 | Error |
| main.rs:683:22:686:9 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:684:13:684:17 | Input | main.rs:675:13:675:17 | Input |
| main.rs:685:13:685:16 | Self | main.rs:673:5:705:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:685:13:685:23 | ...::Error | main.rs:687:11:691:9 | type Error |
| main.rs:688:22:690:9 | Option::<...> | {EXTERNAL LOCATION} | enum Option |
| main.rs:689:11:689:15 | Error | main.rs:676:13:676:17 | Error |
| main.rs:693:13:693:17 | Input | main.rs:675:13:675:17 | Input |
| main.rs:698:19:698:22 | Self | main.rs:673:5:705:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:698:19:698:29 | ...::Input | main.rs:683:9:687:9 | type Input |
| main.rs:699:14:702:9 | Result::<...> | {EXTERNAL LOCATION} | enum Result |
| main.rs:700:13:700:16 | Self | main.rs:673:5:705:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:700:13:700:24 | ...::Output | main.rs:691:11:694:9 | type Output |
| main.rs:701:13:701:16 | Self | main.rs:673:5:705:5 | impl Reduce for MyImpl::<...> { ... } |
| main.rs:701:13:701:23 | ...::Error | main.rs:687:11:691:9 | type Error |
| main.rs:708:5:708:7 | std | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:708:11:708:14 | self | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:710:15:710:17 | ztd | {EXTERNAL LOCATION} | Crate(std@0.0.0) |
| main.rs:710:15:710:25 | ...::string | {EXTERNAL LOCATION} | mod string |
| main.rs:710:15:710:33 | ...::String | {EXTERNAL LOCATION} | struct String |
| main.rs:713:5:713:6 | my | main.rs:1:1:1:7 | mod my |
| main.rs:713:5:713:14 | ...::nested | my.rs:1:1:1:15 | mod nested |
| main.rs:713:5:713:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |
| main.rs:713:5:713:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |
| main.rs:713:5:713:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |
| main.rs:714:5:714:6 | my | main.rs:1:1:1:7 | mod my |
| main.rs:714:5:714:9 | ...::f | my.rs:5:1:7:1 | fn f |
| main.rs:715:5:715:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
| main.rs:715:5:715:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
| main.rs:715:5:715:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
| main.rs:715:5:715:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:716:5:716:5 | f | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:717:5:717:5 | g | my2/nested2.rs:7:9:9:9 | fn g |
| main.rs:718:5:718:9 | crate | main.rs:0:0:0:0 | Crate(main@0.0.1) |
| main.rs:718:5:718:12 | ...::h | main.rs:50:1:69:1 | fn h |
| main.rs:719:5:719:6 | m1 | main.rs:13:1:37:1 | mod m1 |
| main.rs:719:5:719:10 | ...::m2 | main.rs:18:5:36:5 | mod m2 |
| main.rs:719:5:719:13 | ...::g | main.rs:23:9:27:9 | fn g |
| main.rs:720:5:720:6 | m1 | main.rs:13:1:37:1 | mod m1 |
| main.rs:720:5:720:10 | ...::m2 | main.rs:18:5:36:5 | mod m2 |
| main.rs:720:5:720:14 | ...::m3 | main.rs:29:9:35:9 | mod m3 |
| main.rs:720:5:720:17 | ...::h | main.rs:30:27:34:13 | fn h |
| main.rs:721:5:721:6 | m4 | main.rs:39:1:46:1 | mod m4 |
| main.rs:721:5:721:9 | ...::i | main.rs:42:5:45:5 | fn i |
| main.rs:722:5:722:5 | h | main.rs:50:1:69:1 | fn h |
| main.rs:723:5:723:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |
| main.rs:724:5:724:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |
| main.rs:725:5:725:5 | j | main.rs:97:1:101:1 | fn j |
| main.rs:726:5:726:6 | m6 | main.rs:109:1:120:1 | mod m6 |
| main.rs:726:5:726:9 | ...::g | main.rs:114:5:119:5 | fn g |
| main.rs:727:5:727:6 | m7 | main.rs:122:1:141:1 | mod m7 |
| main.rs:727:5:727:9 | ...::f | main.rs:133:5:140:5 | fn f |
| main.rs:728:5:728:6 | m8 | main.rs:143:1:197:1 | mod m8 |
| main.rs:728:5:728:9 | ...::g | main.rs:181:5:196:5 | fn g |
| main.rs:729:5:729:6 | m9 | main.rs:199:1:207:1 | mod m9 |
| main.rs:729:5:729:9 | ...::f | main.rs:202:5:206:5 | fn f |
| main.rs:730:5:730:7 | m11 | main.rs:230:1:267:1 | mod m11 |
| main.rs:730:5:730:10 | ...::f | main.rs:235:5:238:5 | fn f |
| main.rs:731:5:731:7 | m15 | main.rs:298:1:367:1 | mod m15 |
| main.rs:731:5:731:10 | ...::f | main.rs:354:5:366:5 | fn f |
| main.rs:732:5:732:7 | m16 | main.rs:369:1:461:1 | mod m16 |
| main.rs:732:5:732:10 | ...::f | main.rs:436:5:460:5 | fn f |
| main.rs:733:5:733:7 | m17 | main.rs:463:1:493:1 | mod m17 |
| main.rs:733:5:733:10 | ...::f | main.rs:487:5:492:5 | fn f |
| main.rs:734:5:734:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |
| main.rs:734:5:734:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |
| main.rs:735:5:735:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |
| main.rs:735:5:735:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |
| main.rs:736:5:736:7 | my3 | my2/mod.rs:12:1:12:12 | mod my3 |
| main.rs:736:5:736:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |
| main.rs:737:5:737:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |
| main.rs:738:5:738:7 | m18 | main.rs:495:1:513:1 | mod m18 |
| main.rs:738:5:738:12 | ...::m19 | main.rs:500:5:512:5 | mod m19 |
| main.rs:738:5:738:17 | ...::m20 | main.rs:505:9:511:9 | mod m20 |
| main.rs:738:5:738:20 | ...::g | main.rs:506:13:510:13 | fn g |
| main.rs:739:5:739:7 | m23 | main.rs:542:1:567:1 | mod m23 |
| main.rs:739:5:739:10 | ...::f | main.rs:562:5:566:5 | fn f |
| main.rs:740:5:740:7 | m24 | main.rs:569:1:637:1 | mod m24 |
| main.rs:740:5:740:10 | ...::f | main.rs:623:5:636:5 | fn f |
| main.rs:741:5:741:8 | zelf | main.rs:0:0:0:0 | Crate(main@0.0.1) |
| main.rs:741:5:741:11 | ...::h | main.rs:50:1:69:1 | fn h |
| main.rs:743:5:743:11 | AStruct | main.rs:644:1:644:17 | struct AStruct |
| main.rs:744:5:744:11 | AStruct | main.rs:644:1:644:17 | struct AStruct |
| my2/mod.rs:5:5:5:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |
| my2/mod.rs:5:5:5:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |
| my2/mod.rs:5:5:5:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |
@@ -395,7 +404,7 @@ resolvePath
| my2/my3/mod.rs:3:5:3:5 | g | my2/mod.rs:3:1:6:1 | fn g |
| my2/my3/mod.rs:4:5:4:5 | h | main.rs:50:1:69:1 | fn h |
| my2/my3/mod.rs:7:5:7:9 | super | my2/mod.rs:1:1:17:30 | SourceFile |
| my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:731:2 | SourceFile |
| my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:746:2 | SourceFile |
| my2/my3/mod.rs:7:5:7:19 | ...::h | main.rs:50:1:69:1 | fn h |
| my2/my3/mod.rs:8:5:8:9 | super | my2/mod.rs:1:1:17:30 | SourceFile |
| my2/my3/mod.rs:8:5:8:12 | ...::g | my2/mod.rs:3:1:6:1 | fn g |

12
rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
View File

@@ -1,8 +1,8 @@
multipleCallTargets
| dereference.rs:61:15:61:24 | e1.deref() |
| main.rs:2278:13:2278:31 | ...::from(...) |
| main.rs:2279:13:2279:31 | ...::from(...) |
| main.rs:2280:13:2280:31 | ...::from(...) |
| main.rs:2286:13:2286:31 | ...::from(...) |
| main.rs:2287:13:2287:31 | ...::from(...) |
| main.rs:2288:13:2288:31 | ...::from(...) |
| main.rs:2314:13:2314:31 | ...::from(...) |
| main.rs:2315:13:2315:31 | ...::from(...) |
| main.rs:2316:13:2316:31 | ...::from(...) |
| main.rs:2322:13:2322:31 | ...::from(...) |
| main.rs:2323:13:2323:31 | ...::from(...) |
| main.rs:2324:13:2324:31 | ...::from(...) |

44
rust/ql/test/library-tests/type-inference/main.rs
View File

@@ -545,12 +545,29 @@ mod type_parameter_bounds {
println!("{:?}", s); // $ type=s:S1
}
fn trait_per_where_bound_with_type<T>(x: T)
where
T: FirstTrait<S1>,
{
let s = x.method(); // $ target=FirstTrait::method
println!("{:?}", s); // $ type=s:S1
}
trait Pair<P1 = bool, P2 = i64> {
fn fst(self) -> P1;
fn snd(self) -> P2;
}
fn trait_per_multiple_where_bounds_with_type<T>(x: T, y: T)
where
T: FirstTrait<S1>,
T: Pair<S1, bool>,
{
let _ = x.fst(); // $ target=fst type=_:S1
let _ = y.method(); // $ target=FirstTrait::method _:S1
}
fn call_trait_per_bound_with_type_1<T: Pair<S1, S2>>(x: T, y: T) {
// The type in the type parameter bound determines the return type.
let s1 = x.fst(); // $ target=fst type=s1:S1
@@ -806,7 +823,8 @@ mod associated_type_in_trait {
mod associated_type_in_supertrait {
trait Supertrait {
type Content;
fn insert(content: Self::Content);
// Supertrait::insert
fn insert(&self, content: Self::Content);
}
trait Subtrait: Supertrait {
@@ -814,11 +832,23 @@ mod associated_type_in_supertrait {
fn get_content(&self) -> Self::Content;
}
// A subtrait declared using a `where` clause.
trait Subtrait2
where
Self: Supertrait,
{
// Subtrait2::insert_two
fn insert_two(&self, c1: Self::Content, c2: Self::Content) {
self.insert(c1); // $ target=Supertrait::insert
self.insert(c2); // $ target=Supertrait::insert
}
}
struct MyType<T>(T);
impl<T> Supertrait for MyType<T> {
type Content = T;
fn insert(_content: Self::Content) {
fn insert(&self, _content: Self::Content) {
println!("Inserting content: ");
}
}
@@ -834,6 +864,11 @@ mod associated_type_in_supertrait {
item.get_content() // $ target=Subtrait::get_content
}
fn insert_three<T: Subtrait2>(item: &T, c1: T::Content, c2: T::Content, c3: T::Content) {
item.insert(c1); // $ target=Supertrait::insert
item.insert_two(c2, c3); // $ target=Subtrait2::insert_two
}
fn test() {
let item1 = MyType(42i64);
let _content1 = item1.get_content(); // $ target=MyType::get_content MISSING: type=_content1:i64
@@ -1989,6 +2024,7 @@ mod impl_trait {
let c = uses_my_trait2(a); // $ type=c:S2 target=uses_my_trait2
let d = uses_my_trait2(S1); // $ type=d:S2 target=uses_my_trait2
let e = get_a_my_trait2(S1).get_a(); // $ target=get_a_my_trait2 target=MyTrait::get_a type=e:S1
// For this function the `impl` type does not appear in the root of the return type
let f = get_a_my_trait3(S1).unwrap().get_a(); // $ target=get_a_my_trait3 target=unwrap target=MyTrait::get_a type=f:S1
let g = get_a_my_trait4(S1).0.get_a(); // $ target=get_a_my_trait4 target=MyTrait::get_a type=g:S1
@@ -2487,8 +2523,7 @@ pub mod pattern_matching_experimental {
pub mod exec {
// a *greatly* simplified model of `MySqlConnection.execute` in SQLX
trait Connection {
}
trait Connection {}
trait Executor {
fn execute1(&self);
@@ -2519,7 +2554,6 @@ pub mod exec {
c.execute2::<&str>("SELECT * FROM users"); // $ MISSING: target=execute2
MySqlConnection::execute2(&c, "SELECT * FROM users"); // $ MISSING: target=execute2
MySqlConnection::execute2::<&str>(&c, "SELECT * FROM users"); // $ MISSING: target=execute2
}
}

6984
rust/ql/test/library-tests/type-inference/type-inference.expected
View File

File diff suppressed because it is too large Load Diff