Rust: Resolve `Self` paths in type definitions #21247

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

paldepind wants to merge 4 commits into github:main from paldepind:rust/self-types

+140 −101

rust/ql/lib/codeql/rust/internal/PathResolution.qll

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -119,6 +119,15 @@ private ItemNode getAChildSuccessor(ItemNode item, string name, SuccessorKind ki
  
        if result.isPublic()

        then kind.isBoth()

        else kind.isInternal()

      or

      // `Self` has scoping rules similar to type parameters and can be considered

      // an implicit type parameter child of the introducing item.

      // - https://doc.rust-lang.org/stable/reference/paths.html#r-paths.qualifiers.type-self

      // - https://doc.rust-lang.org/stable/reference/names/scopes.html#r-names.scopes.self

      (item instanceof TypeItemTypeItemNode or item instanceof ImplOrTraitItemNode) and

      name = "Self" and

      kind.isInternal() and

      result = item

    }

    private module UseOption = Option<Use>;

    @@ -405,9 +414,6 @@ abstract class ItemNode extends Locatable {
  
          this instanceof SourceFile and

          builtin(name, result)

          or

          name = "Self" and

          this = result.(ImplOrTraitItemNode).getAnItemInSelfScope()

          or

          name = "crate" and

          this = result.(CrateItemNode).getASourceFile()

        )

    @@ -718,26 +724,12 @@ class FunctionItemNode extends AssocItemNode, ParameterizableItemNode instanceof
  
    }

    abstract class ImplOrTraitItemNode extends ItemNode {

      /** Gets an item that may refer to this node using `Self`. */

      pragma[nomagic]

      ItemNode getAnItemInSelfScope() {

        result = this

        or

        result.getImmediateParent() = this

        or

        exists(ItemNode mid |

          mid = this.getAnItemInSelfScope() and

          result.getImmediateParent() = mid and

          not mid instanceof ImplOrTraitItemNode

        )

      }

      /** Gets a `Self` path that refers to this item. */

      cached

      Path getASelfPath() {

        Stages::PathResolutionStage::ref() and

        isUnqualifiedSelfPath(result) and

        result = this.getAnItemInSelfScope().getADescendant()

        this = unqualifiedPathLookup(result, _, _)

      }

      /** Gets an associated item belonging to this trait or `impl` block. */

    @@ -1610,11 +1602,7 @@ private predicate unqualifiedPathLookup(ItemNode ancestor, string name, Namespac
  
      // lookup in an outer scope, but only if the item is not declared in inner scope

      exists(ItemNode mid |

        unqualifiedPathLookup(mid, name, ns, encl) and

        not declares(mid, ns, name) and

        not (

          name = "Self" and

          mid = any(ImplOrTraitItemNode i).getAnItemInSelfScope()

        )

        not declares(mid, ns, name)

      |

        ancestor = getOuterScope(mid)

        or

    @@ -2147,7 +2135,7 @@ private predicate useImportEdge(Use use, string name, ItemNode item, SuccessorKi
  
            checkQualifiedVisibility(use, item, kind1, useOpt) and

            // glob imports can be shadowed

            not declares(encl, ns, name) and

            not name = ["super", "self"]

            not name = ["super", "self", "Self"]

          )

        else (

          item = used and

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

-Original file line number
+Diff line change
@@ Expand Up / @@ -1056,6 +1056,37 @@ mod self_constructors { @@
         }
     }
+    /// Tests for using `Self` in type definitions.
+    mod self_types {
+        struct NonEmptyListStruct<T> {
+            head: T,                 // $ item=T
+            tail: Option<Box<Self>>, // $ item=Option item=Box item=NonEmptyListStruct
+        }
+        enum NonEmptyListEnum<T> {
+            Single(T),          // $ item=T
+            Cons(T, Box<Self>), // $ item=T item=Box item=NonEmptyListEnum
+        }
+        #[rustfmt::skip]
+        impl NonEmptyListEnum<i32> { // $ item=NonEmptyListEnum item=i32
+            fn new_single(value: i32) -> Self { // $ item=i32 item=NonEmptyListEnum
+                use NonEmptyListEnum::*; // $ item=NonEmptyListEnum
+                Self::Single(value) // $ item=Single
+            }
+        }
+        #[rustfmt::skip]
+        union NonEmptyListUnion<
+            'a,
+            T // T
+              : Copy // $ item=Copy
+        > {
+            single: T,           // $ item=T
+            cons: (T, &'a Self), // $ item=T item=NonEmptyListUnion
+        }
+    }
     fn main() {
         my::nested::nested1::nested2::f(); // $ item=I4
         my::f(); // $ item=I38
@@ Expand Down @@

rust/ql/test/library-tests/path-resolution/path-resolution.expected

            
                      Original file line number
                      Diff line number
                      Diff line change
                  
    @@ -35,6 +35,7 @@ mod
  
    | main.rs:949:1:968:1 | mod impl_with_attribute_macro |

    | main.rs:970:1:1011:1 | mod patterns |

    | main.rs:1013:1:1057:1 | mod self_constructors |

    | main.rs:1059:1:1088:1 | mod self_types |

    | my2/mod.rs:1:1:1:16 | mod nested2 |

    | my2/mod.rs:20:1:20:12 | mod my3 |

    | my2/mod.rs:22:1:23:10 | mod mymod |

    @@ -75,7 +76,7 @@ resolvePath
  
    | main.rs:37:17:37:24 | ...::f | main.rs:26:9:28:9 | fn f |

    | main.rs:39:17:39:23 | println | {EXTERNAL LOCATION} | MacroRules |

    | main.rs:40:17:40:17 | f | main.rs:26:9:28:9 | fn f |

    | main.rs:47:9:47:13 | super | main.rs:1:1:1096:2 | SourceFile |

    | main.rs:47:9:47:13 | super | main.rs:1:1:1127:2 | SourceFile |

    | main.rs:47:9:47:17 | ...::m1 | main.rs:20:1:44:1 | mod m1 |

    | main.rs:47:9:47:21 | ...::m2 | main.rs:25:5:43:5 | mod m2 |

    | main.rs:47:9:47:24 | ...::g | main.rs:30:9:34:9 | fn g |

    @@ -90,7 +91,7 @@ resolvePath
  
    | main.rs:68:17:68:19 | Foo | main.rs:66:9:66:21 | struct Foo |

    | main.rs:71:13:71:15 | Foo | main.rs:60:5:60:17 | struct Foo |

    | main.rs:73:5:73:5 | f | main.rs:62:5:69:5 | fn f |

    | main.rs:75:5:75:8 | self | main.rs:1:1:1096:2 | SourceFile |

    | main.rs:75:5:75:8 | self | main.rs:1:1:1127:2 | SourceFile |

    | main.rs:75:5:75:11 | ...::i | main.rs:78:1:90:1 | fn i |

    | main.rs:79:5:79:11 | println | {EXTERNAL LOCATION} | MacroRules |

    | main.rs:81:13:81:15 | Foo | main.rs:55:1:55:13 | struct Foo |

    @@ -112,7 +113,7 @@ resolvePath
  
    | main.rs:112:9:112:15 | println | {EXTERNAL LOCATION} | MacroRules |

    | main.rs:118:9:118:15 | println | {EXTERNAL LOCATION} | MacroRules |

    | main.rs:122:9:122:15 | println | {EXTERNAL LOCATION} | MacroRules |

    | main.rs:125:13:125:17 | super | main.rs:1:1:1096:2 | SourceFile |

    | main.rs:125:13:125:17 | super | main.rs:1:1:1127:2 | SourceFile |

    | main.rs:125:13:125:21 | ...::m5 | main.rs:110:1:114:1 | mod m5 |

    | main.rs:126:9:126:9 | f | main.rs:111:5:113:5 | fn f |

    | main.rs:126:9:126:9 | f | main.rs:117:5:119:5 | fn f |

    @@ -532,79 +533,98 @@ resolvePath
  
    | main.rs:1047:25:1047:27 | i32 | {EXTERNAL LOCATION} | struct i32 |

    | main.rs:1049:17:1049:20 | Self | main.rs:1045:5:1056:5 | impl MyEnum { ... } |

    | main.rs:1049:17:1049:23 | ...::A | main.rs:1040:9:1042:9 | A |

    | main.rs:1060:5:1060:6 | my | main.rs:1:1:1:7 | mod my |

    | main.rs:1060:5:1060:14 | ...::nested | my.rs:1:1:1:15 | mod nested |

    | main.rs:1060:5:1060:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |

    | main.rs:1060:5:1060:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |

    | main.rs:1060:5:1060:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |

    | main.rs:1061:5:1061:6 | my | main.rs:1:1:1:7 | mod my |

    | main.rs:1061:5:1061:9 | ...::f | my.rs:5:1:7:1 | fn f |

    | main.rs:1062:5:1062:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |

    | main.rs:1062:5:1062:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |

    | main.rs:1062:5:1062:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |

    | main.rs:1062:5:1062:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1063:5:1063:5 | f | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1064:5:1064:5 | g | my2/nested2.rs:7:9:9:9 | fn g |

    | main.rs:1065:5:1065:9 | crate | main.rs:0:0:0:0 | Crate([email protected]) |

    | main.rs:1065:5:1065:12 | ...::h | main.rs:57:1:76:1 | fn h |

    | main.rs:1066:5:1066:6 | m1 | main.rs:20:1:44:1 | mod m1 |

    | main.rs:1066:5:1066:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |

    | main.rs:1066:5:1066:13 | ...::g | main.rs:30:9:34:9 | fn g |

    | main.rs:1067:5:1067:6 | m1 | main.rs:20:1:44:1 | mod m1 |

    | main.rs:1067:5:1067:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |

    | main.rs:1067:5:1067:14 | ...::m3 | main.rs:36:9:42:9 | mod m3 |

    | main.rs:1067:5:1067:17 | ...::h | main.rs:37:27:41:13 | fn h |

    | main.rs:1068:5:1068:6 | m4 | main.rs:46:1:53:1 | mod m4 |

    | main.rs:1068:5:1068:9 | ...::i | main.rs:49:5:52:5 | fn i |

    | main.rs:1069:5:1069:5 | h | main.rs:57:1:76:1 | fn h |

    | main.rs:1070:5:1070:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1071:5:1071:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |

    | main.rs:1072:5:1072:5 | j | main.rs:104:1:108:1 | fn j |

    | main.rs:1073:5:1073:6 | m6 | main.rs:116:1:128:1 | mod m6 |

    | main.rs:1073:5:1073:9 | ...::g | main.rs:121:5:127:5 | fn g |

    | main.rs:1074:5:1074:6 | m7 | main.rs:130:1:149:1 | mod m7 |

    | main.rs:1074:5:1074:9 | ...::f | main.rs:141:5:148:5 | fn f |

    | main.rs:1075:5:1075:6 | m8 | main.rs:151:1:205:1 | mod m8 |

    | main.rs:1075:5:1075:9 | ...::g | main.rs:189:5:204:5 | fn g |

    | main.rs:1076:5:1076:6 | m9 | main.rs:207:1:215:1 | mod m9 |

    | main.rs:1076:5:1076:9 | ...::f | main.rs:210:5:214:5 | fn f |

    | main.rs:1077:5:1077:7 | m11 | main.rs:238:1:275:1 | mod m11 |

    | main.rs:1077:5:1077:10 | ...::f | main.rs:243:5:246:5 | fn f |

    | main.rs:1078:5:1078:7 | m15 | main.rs:306:1:375:1 | mod m15 |

    | main.rs:1078:5:1078:10 | ...::f | main.rs:362:5:374:5 | fn f |

    | main.rs:1079:5:1079:7 | m16 | main.rs:377:1:574:1 | mod m16 |

    | main.rs:1079:5:1079:10 | ...::f | main.rs:446:5:470:5 | fn f |

    | main.rs:1080:5:1080:20 | trait_visibility | main.rs:576:1:633:1 | mod trait_visibility |

    | main.rs:1080:5:1080:23 | ...::f | main.rs:603:5:632:5 | fn f |

    | main.rs:1081:5:1081:7 | m17 | main.rs:635:1:665:1 | mod m17 |

    | main.rs:1081:5:1081:10 | ...::f | main.rs:659:5:664:5 | fn f |

    | main.rs:1082:5:1082:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |

    | main.rs:1082:5:1082:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |

    | main.rs:1083:5:1083:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |

    | main.rs:1083:5:1083:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |

    | main.rs:1084:5:1084:7 | my3 | my2/mod.rs:20:1:20:12 | mod my3 |

    | main.rs:1084:5:1084:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |

    | main.rs:1085:5:1085:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |

    | main.rs:1086:5:1086:12 | my_alias | main.rs:1:1:1:7 | mod my |

    | main.rs:1086:5:1086:22 | ...::nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |

    | main.rs:1087:5:1087:7 | m18 | main.rs:667:1:685:1 | mod m18 |

    | main.rs:1087:5:1087:12 | ...::m19 | main.rs:672:5:684:5 | mod m19 |

    | main.rs:1087:5:1087:17 | ...::m20 | main.rs:677:9:683:9 | mod m20 |

    | main.rs:1087:5:1087:20 | ...::g | main.rs:678:13:682:13 | fn g |

    | main.rs:1088:5:1088:7 | m23 | main.rs:714:1:739:1 | mod m23 |

    | main.rs:1088:5:1088:10 | ...::f | main.rs:734:5:738:5 | fn f |

    | main.rs:1089:5:1089:7 | m24 | main.rs:741:1:809:1 | mod m24 |

    | main.rs:1089:5:1089:10 | ...::f | main.rs:795:5:808:5 | fn f |

    | main.rs:1090:5:1090:8 | zelf | main.rs:0:0:0:0 | Crate([email protected]) |

    | main.rs:1090:5:1090:11 | ...::h | main.rs:57:1:76:1 | fn h |

    | main.rs:1091:5:1091:13 | z_changed | main.rs:814:1:814:9 | fn z_changed |

    | main.rs:1092:5:1092:11 | AStruct | main.rs:816:1:816:17 | struct AStruct |

    | main.rs:1092:5:1092:22 | ...::z_on_type | main.rs:820:5:820:17 | fn z_on_type |

    | main.rs:1093:5:1093:11 | AStruct | main.rs:816:1:816:17 | struct AStruct |

    | main.rs:1094:5:1094:29 | impl_with_attribute_macro | main.rs:949:1:968:1 | mod impl_with_attribute_macro |

    | main.rs:1094:5:1094:35 | ...::test | main.rs:964:5:967:5 | fn test |

    | main.rs:1095:5:1095:12 | patterns | main.rs:970:1:1011:1 | mod patterns |

    | main.rs:1095:5:1095:18 | ...::test | main.rs:971:5:985:5 | fn test |

    | main.rs:1062:15:1062:15 | T | main.rs:1061:31:1061:31 | T |

    | main.rs:1063:15:1063:31 | Option::<...> | {EXTERNAL LOCATION} | enum Option |

    | main.rs:1063:22:1063:30 | Box::<...> | {EXTERNAL LOCATION} | struct Box |

    | main.rs:1063:26:1063:29 | Self | main.rs:1061:5:1064:5 | struct NonEmptyListStruct |

    | main.rs:1067:16:1067:16 | T | main.rs:1066:27:1066:27 | T |

    | main.rs:1068:14:1068:14 | T | main.rs:1066:27:1066:27 | T |

    | main.rs:1068:17:1068:25 | Box::<...> | {EXTERNAL LOCATION} | struct Box |

    | main.rs:1068:21:1068:24 | Self | main.rs:1066:5:1069:5 | enum NonEmptyListEnum |

    | main.rs:1072:10:1072:30 | NonEmptyListEnum::<...> | main.rs:1066:5:1069:5 | enum NonEmptyListEnum |

    | main.rs:1072:27:1072:29 | i32 | {EXTERNAL LOCATION} | struct i32 |

    | main.rs:1073:30:1073:32 | i32 | {EXTERNAL LOCATION} | struct i32 |

    | main.rs:1073:38:1073:41 | Self | main.rs:1066:5:1069:5 | enum NonEmptyListEnum |

    | main.rs:1074:17:1074:32 | NonEmptyListEnum | main.rs:1066:5:1069:5 | enum NonEmptyListEnum |

    | main.rs:1075:13:1075:16 | Self | main.rs:1071:5:1077:5 | impl NonEmptyListEnum::<...> { ... } |

    | main.rs:1075:13:1075:24 | ...::Single | main.rs:1067:9:1067:17 | Single |

    | main.rs:1083:13:1083:16 | Copy | {EXTERNAL LOCATION} | trait Copy |

    | main.rs:1085:17:1085:17 | T | main.rs:1082:9:1082:9 | T |

    | main.rs:1086:16:1086:16 | T | main.rs:1082:9:1082:9 | T |

    | main.rs:1086:23:1086:26 | Self | main.rs:1079:5:1087:5 | union NonEmptyListUnion |

    | main.rs:1091:5:1091:6 | my | main.rs:1:1:1:7 | mod my |

    | main.rs:1091:5:1091:14 | ...::nested | my.rs:1:1:1:15 | mod nested |

    | main.rs:1091:5:1091:23 | ...::nested1 | my/nested.rs:1:1:17:1 | mod nested1 |

    | main.rs:1091:5:1091:32 | ...::nested2 | my/nested.rs:2:5:11:5 | mod nested2 |

    | main.rs:1091:5:1091:35 | ...::f | my/nested.rs:3:9:5:9 | fn f |

    | main.rs:1092:5:1092:6 | my | main.rs:1:1:1:7 | mod my |

    | main.rs:1092:5:1092:9 | ...::f | my.rs:5:1:7:1 | fn f |

    | main.rs:1093:5:1093:11 | nested2 | my2/mod.rs:1:1:1:16 | mod nested2 |

    | main.rs:1093:5:1093:20 | ...::nested3 | my2/nested2.rs:1:1:11:1 | mod nested3 |

    | main.rs:1093:5:1093:29 | ...::nested4 | my2/nested2.rs:2:5:10:5 | mod nested4 |

    | main.rs:1093:5:1093:32 | ...::f | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1094:5:1094:5 | f | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1095:5:1095:5 | g | my2/nested2.rs:7:9:9:9 | fn g |

    | main.rs:1096:5:1096:9 | crate | main.rs:0:0:0:0 | Crate([email protected]) |

    | main.rs:1096:5:1096:12 | ...::h | main.rs:57:1:76:1 | fn h |

    | main.rs:1097:5:1097:6 | m1 | main.rs:20:1:44:1 | mod m1 |

    | main.rs:1097:5:1097:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |

    | main.rs:1097:5:1097:13 | ...::g | main.rs:30:9:34:9 | fn g |

    | main.rs:1098:5:1098:6 | m1 | main.rs:20:1:44:1 | mod m1 |

    | main.rs:1098:5:1098:10 | ...::m2 | main.rs:25:5:43:5 | mod m2 |

    | main.rs:1098:5:1098:14 | ...::m3 | main.rs:36:9:42:9 | mod m3 |

    | main.rs:1098:5:1098:17 | ...::h | main.rs:37:27:41:13 | fn h |

    | main.rs:1099:5:1099:6 | m4 | main.rs:46:1:53:1 | mod m4 |

    | main.rs:1099:5:1099:9 | ...::i | main.rs:49:5:52:5 | fn i |

    | main.rs:1100:5:1100:5 | h | main.rs:57:1:76:1 | fn h |

    | main.rs:1101:5:1101:11 | f_alias | my2/nested2.rs:3:9:5:9 | fn f |

    | main.rs:1102:5:1102:11 | g_alias | my2/nested2.rs:7:9:9:9 | fn g |

    | main.rs:1103:5:1103:5 | j | main.rs:104:1:108:1 | fn j |

    | main.rs:1104:5:1104:6 | m6 | main.rs:116:1:128:1 | mod m6 |

    | main.rs:1104:5:1104:9 | ...::g | main.rs:121:5:127:5 | fn g |

    | main.rs:1105:5:1105:6 | m7 | main.rs:130:1:149:1 | mod m7 |

    | main.rs:1105:5:1105:9 | ...::f | main.rs:141:5:148:5 | fn f |

    | main.rs:1106:5:1106:6 | m8 | main.rs:151:1:205:1 | mod m8 |

    | main.rs:1106:5:1106:9 | ...::g | main.rs:189:5:204:5 | fn g |

    | main.rs:1107:5:1107:6 | m9 | main.rs:207:1:215:1 | mod m9 |

    | main.rs:1107:5:1107:9 | ...::f | main.rs:210:5:214:5 | fn f |

    | main.rs:1108:5:1108:7 | m11 | main.rs:238:1:275:1 | mod m11 |

    | main.rs:1108:5:1108:10 | ...::f | main.rs:243:5:246:5 | fn f |

    | main.rs:1109:5:1109:7 | m15 | main.rs:306:1:375:1 | mod m15 |

    | main.rs:1109:5:1109:10 | ...::f | main.rs:362:5:374:5 | fn f |

    | main.rs:1110:5:1110:7 | m16 | main.rs:377:1:574:1 | mod m16 |

    | main.rs:1110:5:1110:10 | ...::f | main.rs:446:5:470:5 | fn f |

    | main.rs:1111:5:1111:20 | trait_visibility | main.rs:576:1:633:1 | mod trait_visibility |

    | main.rs:1111:5:1111:23 | ...::f | main.rs:603:5:632:5 | fn f |

    | main.rs:1112:5:1112:7 | m17 | main.rs:635:1:665:1 | mod m17 |

    | main.rs:1112:5:1112:10 | ...::f | main.rs:659:5:664:5 | fn f |

    | main.rs:1113:5:1113:11 | nested6 | my2/nested2.rs:14:5:18:5 | mod nested6 |

    | main.rs:1113:5:1113:14 | ...::f | my2/nested2.rs:15:9:17:9 | fn f |

    | main.rs:1114:5:1114:11 | nested8 | my2/nested2.rs:22:5:26:5 | mod nested8 |

    | main.rs:1114:5:1114:14 | ...::f | my2/nested2.rs:23:9:25:9 | fn f |

    | main.rs:1115:5:1115:7 | my3 | my2/mod.rs:20:1:20:12 | mod my3 |

    | main.rs:1115:5:1115:10 | ...::f | my2/my3/mod.rs:1:1:5:1 | fn f |

    | main.rs:1116:5:1116:12 | nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |

    | main.rs:1117:5:1117:12 | my_alias | main.rs:1:1:1:7 | mod my |

    | main.rs:1117:5:1117:22 | ...::nested_f | my/my4/my5/mod.rs:1:1:3:1 | fn f |

    | main.rs:1118:5:1118:7 | m18 | main.rs:667:1:685:1 | mod m18 |

    | main.rs:1118:5:1118:12 | ...::m19 | main.rs:672:5:684:5 | mod m19 |

    | main.rs:1118:5:1118:17 | ...::m20 | main.rs:677:9:683:9 | mod m20 |

    | main.rs:1118:5:1118:20 | ...::g | main.rs:678:13:682:13 | fn g |

    | main.rs:1119:5:1119:7 | m23 | main.rs:714:1:739:1 | mod m23 |

    | main.rs:1119:5:1119:10 | ...::f | main.rs:734:5:738:5 | fn f |

    | main.rs:1120:5:1120:7 | m24 | main.rs:741:1:809:1 | mod m24 |

    | main.rs:1120:5:1120:10 | ...::f | main.rs:795:5:808:5 | fn f |

    | main.rs:1121:5:1121:8 | zelf | main.rs:0:0:0:0 | Crate([email protected]) |

    | main.rs:1121:5:1121:11 | ...::h | main.rs:57:1:76:1 | fn h |

    | main.rs:1122:5:1122:13 | z_changed | main.rs:814:1:814:9 | fn z_changed |

    | main.rs:1123:5:1123:11 | AStruct | main.rs:816:1:816:17 | struct AStruct |

    | main.rs:1123:5:1123:22 | ...::z_on_type | main.rs:820:5:820:17 | fn z_on_type |

    | main.rs:1124:5:1124:11 | AStruct | main.rs:816:1:816:17 | struct AStruct |

    | main.rs:1125:5:1125:29 | impl_with_attribute_macro | main.rs:949:1:968:1 | mod impl_with_attribute_macro |

    | main.rs:1125:5:1125:35 | ...::test | main.rs:964:5:967:5 | fn test |

    | main.rs:1126:5:1126:12 | patterns | main.rs:970:1:1011:1 | mod patterns |

    | main.rs:1126:5:1126:18 | ...::test | main.rs:971:5:985:5 | fn test |

    | my2/mod.rs:4:5:4:11 | println | {EXTERNAL LOCATION} | MacroRules |

    | 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 |

    @@ -630,7 +650,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:57:1:76:1 | fn h |

    | my2/my3/mod.rs:7:5:7:9 | super | my2/mod.rs:1:1:25:34 | SourceFile |

    | my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:1096:2 | SourceFile |

    | my2/my3/mod.rs:7:5:7:16 | ...::super | main.rs:1:1:1127:2 | SourceFile |

    | my2/my3/mod.rs:7:5:7:19 | ...::h | main.rs:57:1:76:1 | fn h |

    | my2/my3/mod.rs:8:5:8:9 | super | my2/mod.rs:1:1:25:34 | SourceFile |

    | my2/my3/mod.rs:8:5:8:12 | ...::g | my2/mod.rs:3:1:6:1 | fn g |

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Rust: Resolve `Self` paths in type definitions #21247

Diff view

Diff view

There are no files selected for viewing

Uh oh!

Rust: Resolve Self paths in type definitions #21247

Are you sure you want to change the base?

Rust: Resolve Self paths in type definitions #21247

Uh oh!

Uh oh!

Diff view

Diff view

There are no files selected for viewing

Uh oh!

Rust: Resolve `Self` paths in type definitions #21247

Rust: Resolve `Self` paths in type definitions #21247