Emit correct occurrences for destructured objects

snapshots/input/syntax/src/destructuring.ts

@@ -0,0 +1,37 @@
+interface Props {
+  a: number
+}
+const props: Props = { a: 42 }
+
+export function objectDestructuring(): number[] {
+  const { a: b } = props
+  return [props].map(({ a }) => a + b)
+}
+
+export function arrayDestructuring(): number[] {
+  const [b] = [props]
+  return [[b]].map(([a]) => a.a)
+}
+
+export function nestedDestructuring(): number[] {
+  const [[b]] = [[props]]
+  return [[props]].map(([{ a }]) => a + b.a)
+}
+
+export function forLoopObjectDestructuring(): number {
+  for (const { a } of [props]) {
+    return a
+  }
+  return 1
+}
+
+export function forLoopArrayDestructuring(): number {
+  for (const [{ a }] of [[props]]) {
+    return a
+  }
+  return 1
+}
+
+export function parameterDestructuring({ a }: Props): number {
+  return a
+}

snapshots/input/syntax/src/structural-type.ts

@@ -0,0 +1,14 @@
+export function foo(): Promise<{ member: number }> {
+  return Promise.resolve({ member: 42 })
+}
+export function bar(): Promise<number> {
+  return foo().then(x => x.member)
+}
+export function bar2(): Promise<number> {
+  return foo().then(({ member }) => member)
+}
+
+type OptionsFlags<Type> = { [Property in keyof Type]: boolean }
+type FeatureFlags = { darkMode: () => void }
+export type FeatureOptions = OptionsFlags<FeatureFlags> // implicitly // type FeatureOptions = { // darkMode: boolean; // } const fo: FeatureOptions = { darkMode: true }; // ^ go to def
+export const fo: FeatureOptions = { darkMode: true }

snapshots/input/syntax/src/typings.d.ts

@@ -0,0 +1,5 @@
+declare var window: Window & typeof globalThis
+interface Window {
+  process: any
+  require: any
+}

snapshots/input/syntax/src/typings.ts

@@ -0,0 +1,3 @@
+export function process() {
+  return window.process
+}

snapshots/output/react/src/LoaderInput.tsx

@@ -26,9 +26,14 @@
 //                                ^^^^^^^^^^^^^^^^^ reference @types/react 17.0.0 `index.d.ts`/React/FunctionComponent#
 //                                                  ^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#
     loading,
-//  ^^^^^^^ reference local 3
+//  ^^^^^^^ definition local 3
+//  documentation ```ts\n(parameter) loading: boolean\n```
+//  ^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#loading.
     children,
-//  ^^^^^^^^ reference local 4
+//  ^^^^^^^^ definition local 4
+//  documentation ```ts\n(parameter) children: ReactNode\n```
+//  ^^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#children.
+//  ^^^^^^^^ reference local 7
   }) => (
     <div className="hello">
 //   ^^^ reference @types/react 17.0.0 `index.d.ts`/global/JSX/IntrinsicElements#div.
@@ -49,15 +54,15 @@
 //                           ^^^^^ reference @types/react 17.0.0 `index.d.ts`/React/
 //                                 ^^^^^^^^^^^^^^^^^ reference @types/react 17.0.0 `index.d.ts`/React/FunctionComponent#
 //                                                   ^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#
-//                                                            ^^^^^ definition local 6
+//                                                            ^^^^^ definition local 9
 //                                                            documentation ```ts\n(parameter) props: PropsWithChildren<Props>\n```
     return <LoaderInput loading={true} key="key" children={props.children} />
 //          ^^^^^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/LoaderInput.
 //                      ^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#loading.
-//                                     ^^^ reference local 10
+//                                     ^^^ reference local 13
 //                                               ^^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#children.
-//                                                         ^^^^^ reference local 6
+//                                                         ^^^^^ reference local 9
 //                                                               ^^^^^^^^ reference react-example 1.0.0 src/`LoaderInput.tsx`/Props#children.
-//                                                               ^^^^^^^^ reference local 13
+//                                                               ^^^^^^^^ reference local 7
   }
 

snapshots/output/syntax/src/destructuring.ts

@@ -0,0 +1,108 @@
+  interface Props {
+// definition syntax 1.0.0 src/`destructuring.ts`/
+//documentation ```ts\nmodule "destructuring.ts"\n```
+//          ^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/Props#
+//          documentation ```ts\ninterface Props\n```
+    a: number
+//  ^ definition syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//  documentation ```ts\n(property) a: number\n```
+  }
+  const props: Props = { a: 42 }
+//      ^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/props.
+//      documentation ```ts\nvar props: Props\n```
+//             ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/Props#
+//                       ^ definition syntax 1.0.0 src/`destructuring.ts`/a0:
+//                       documentation ```ts\n(property) a: number\n```
+//                       relationship implementation reference scip-typescript npm syntax 1.0.0 src/`destructuring.ts`/Props#a.
+
+  export function objectDestructuring(): number[] {
+//                ^^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/objectDestructuring().
+//                documentation ```ts\nfunction objectDestructuring(): number[]\n```
+    const { a: b } = props
+//          ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//             ^ definition local 4
+//             documentation ```ts\nvar b: number\n```
+//                   ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+    return [props].map(({ a }) => a + b)
+//          ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+//                 ^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Array#map().
+//                        ^ definition local 10
+//                        documentation ```ts\n(parameter) a: number\n```
+//                        ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//                                ^ reference local 10
+//                                    ^ reference local 4
+  }
+
+  export function arrayDestructuring(): number[] {
+//                ^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/arrayDestructuring().
+//                documentation ```ts\nfunction arrayDestructuring(): number[]\n```
+    const [b] = [props]
+//         ^ definition local 15
+//         documentation ```ts\nvar b: Props\n```
+//               ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+    return [[b]].map(([a]) => a.a)
+//           ^ reference local 15
+//               ^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Array#map().
+//                     ^ definition local 21
+//                     documentation ```ts\n(parameter) a: Props\n```
+//                            ^ reference local 21
+//                              ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+  }
+
+  export function nestedDestructuring(): number[] {
+//                ^^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/nestedDestructuring().
+//                documentation ```ts\nfunction nestedDestructuring(): number[]\n```
+    const [[b]] = [[props]]
+//          ^ definition local 28
+//          documentation ```ts\nvar b: Props\n```
+//                  ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+    return [[props]].map(([{ a }]) => a + b.a)
+//           ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+//                   ^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Array#map().
+//                           ^ definition local 36
+//                           documentation ```ts\n(parameter) a: number\n```
+//                           ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//                                    ^ reference local 36
+//                                        ^ reference local 28
+//                                          ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+  }
+
+  export function forLoopObjectDestructuring(): number {
+//                ^^^^^^^^^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/forLoopObjectDestructuring().
+//                documentation ```ts\nfunction forLoopObjectDestructuring(): number\n```
+    for (const { a } of [props]) {
+//               ^ definition local 41
+//               documentation ```ts\nvar a: number\n```
+//               ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//                       ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+      return a
+//           ^ reference local 41
+    }
+    return 1
+  }
+
+  export function forLoopArrayDestructuring(): number {
+//                ^^^^^^^^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/forLoopArrayDestructuring().
+//                documentation ```ts\nfunction forLoopArrayDestructuring(): number\n```
+    for (const [{ a }] of [[props]]) {
+//                ^ definition local 48
+//                documentation ```ts\nvar a: number\n```
+//                ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//                          ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/props.
+      return a
+//           ^ reference local 48
+    }
+    return 1
+  }
+
+  export function parameterDestructuring({ a }: Props): number {
+//                ^^^^^^^^^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`destructuring.ts`/parameterDestructuring().
+//                documentation ```ts\nfunction parameterDestructuring({ a }: Props): number\n```
+//                                         ^ definition local 50
+//                                         documentation ```ts\n(parameter) a: number\n```
+//                                         ^ reference syntax 1.0.0 src/`destructuring.ts`/Props#a.
+//                                              ^^^^^ reference syntax 1.0.0 src/`destructuring.ts`/Props#
+    return a
+//         ^ reference local 50
+  }
+

snapshots/output/syntax/src/structural-type.ts

@@ -0,0 +1,81 @@
+  export function foo(): Promise<{ member: number }> {
+// definition syntax 1.0.0 src/`structural-type.ts`/
+//documentation ```ts\nmodule "structural-type.ts"\n```
+//                ^^^ definition syntax 1.0.0 src/`structural-type.ts`/foo().
+//                documentation ```ts\nfunction foo(): Promise<{ member: number; }>\n```
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.iterable.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/Promise.
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.symbol.wellknown.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2018.promise.d.ts`/Promise#
+//                                 ^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/foo().Promise:typeLiteral0:member.
+//                                 documentation ```ts\n(property) member: number\n```
+    return Promise.resolve({ member: 42 })
+//         ^^^^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#
+//         ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.iterable.d.ts`/Promise#
+//         ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/Promise.
+//         ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.symbol.wellknown.d.ts`/Promise#
+//         ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2018.promise.d.ts`/Promise#
+//                 ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/PromiseConstructor#resolve().
+//                 ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/PromiseConstructor#resolve().
+//                           ^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/member0:
+//                           documentation ```ts\n(property) member: number\n```
+  }
+  export function bar(): Promise<number> {
+//                ^^^ definition syntax 1.0.0 src/`structural-type.ts`/bar().
+//                documentation ```ts\nfunction bar(): Promise<number>\n```
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.iterable.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/Promise.
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.symbol.wellknown.d.ts`/Promise#
+//                       ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2018.promise.d.ts`/Promise#
+    return foo().then(x => x.member)
+//         ^^^ reference syntax 1.0.0 src/`structural-type.ts`/foo().
+//               ^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#then().
+//                    ^ definition local 4
+//                    documentation ```ts\n(parameter) x: { member: number; }\n```
+//                         ^ reference local 4
+//                           ^^^^^^ reference syntax 1.0.0 src/`structural-type.ts`/foo().Promise:typeLiteral0:member.
+  }
+  export function bar2(): Promise<number> {
+//                ^^^^ definition syntax 1.0.0 src/`structural-type.ts`/bar2().
+//                documentation ```ts\nfunction bar2(): Promise<number>\n```
+//                        ^^^^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#
+//                        ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.iterable.d.ts`/Promise#
+//                        ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.promise.d.ts`/Promise.
+//                        ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2015.symbol.wellknown.d.ts`/Promise#
+//                        ^^^^^^^ reference typescript 4.8.4 lib/`lib.es2018.promise.d.ts`/Promise#
+    return foo().then(({ member }) => member)
+//         ^^^ reference syntax 1.0.0 src/`structural-type.ts`/foo().
+//               ^^^^ reference typescript 4.8.4 lib/`lib.es5.d.ts`/Promise#then().
+//                       ^^^^^^ definition local 10
+//                       documentation ```ts\n(parameter) member: number\n```
+//                       ^^^^^^ reference syntax 1.0.0 src/`structural-type.ts`/foo().Promise:typeLiteral0:member.
+//                                    ^^^^^^ reference local 10
+  }
+
+  type OptionsFlags<Type> = { [Property in keyof Type]: boolean }
+//     ^^^^^^^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/OptionsFlags#
+//     documentation ```ts\ntype OptionsFlags\n```
+//                  ^^^^ definition syntax 1.0.0 src/`structural-type.ts`/OptionsFlags#[Type]
+//                  documentation ```ts\nType: Type\n```
+//                             ^^^^^^^^ definition local 12
+//                             documentation ```ts\nProperty: Property\n```
+//                                               ^^^^ reference syntax 1.0.0 src/`structural-type.ts`/OptionsFlags#[Type]
+  type FeatureFlags = { darkMode: () => void }
+//     ^^^^^^^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/FeatureFlags#
+//     documentation ```ts\ntype FeatureFlags\n```
+//                      ^^^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/FeatureFlags#typeLiteral13:darkMode.
+//                      documentation ```ts\n(property) darkMode: () => void\n```
+  export type FeatureOptions = OptionsFlags<FeatureFlags> // implicitly // type FeatureOptions = { // darkMode: boolean; // } const fo: FeatureOptions = { darkMode: true }; // ^ go to def
+//            ^^^^^^^^^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/FeatureOptions#
+//            documentation ```ts\ntype FeatureOptions\n```
+//                             ^^^^^^^^^^^^ reference syntax 1.0.0 src/`structural-type.ts`/OptionsFlags#
+//                                          ^^^^^^^^^^^^ reference syntax 1.0.0 src/`structural-type.ts`/FeatureFlags#
+  export const fo: FeatureOptions = { darkMode: true }
+//             ^^ definition syntax 1.0.0 src/`structural-type.ts`/fo.
+//             documentation ```ts\nvar fo: OptionsFlags<FeatureFlags>\n```
+//                 ^^^^^^^^^^^^^^ reference syntax 1.0.0 src/`structural-type.ts`/FeatureOptions#
+//                                    ^^^^^^^^ definition syntax 1.0.0 src/`structural-type.ts`/darkMode0:
+//                                    documentation ```ts\n(property) darkMode: true\n```
+

snapshots/output/syntax/src/typings.ts

@@ -0,0 +1,11 @@
+  export function process() {
+// definition syntax 1.0.0 src/`typings.ts`/
+//documentation ```ts\nmodule "typings.ts"\n```
+//                ^^^^^^^ definition syntax 1.0.0 src/`typings.ts`/process().
+//                documentation ```ts\nfunction process(): Process\n```
+    return window.process
+//         ^^^^^^ reference typescript 4.8.4 lib/`lib.dom.d.ts`/window.
+//                ^^^^^^^ reference @types/node 17.0.14 `globals.d.ts`/process.
+//                ^^^^^^^ reference @types/node 17.0.14 `process.d.ts`/`'process'`/global/process.
+  }
+