Merge pull request #902 from yytypescript/feature/899

Feature/899

docs/README.md

@@ -1528,7 +1528,7 @@ type T3 = Extract<T1, T2>;
 
 #### NonNullable
 
-- `NonNullable`は、nullまたはundefinedを含む型からいずれも除外するユーティリティ型。
+- [`NonNullable`](reference/type-reuse/utility-types/nonnullable.md)は、nullまたはundefinedを含む型からいずれも除外するユーティリティ型。
 
 ```typescript twoslash
 type T1 = string | null | undefined;

docs/reference/type-reuse/utility-types/return-type.md

@@ -0,0 +1,46 @@
+---
+description: 関数の戻り値の型を取得する
+title: "ReturnType<T>"
+---
+
+`ReturnType<T>`は、関数型`T`の戻り値を取得するユーティリティ型です。
+
+## ReturnType&lt;T>の型引数
+
+### T
+
+型引数`T`には、関数の型を渡します。関数でない型を渡すと`never`型になります。
+
+## NonNullableの使用例
+
+```ts twoslash
+// @errors: 2344
+type ReturnType1 = ReturnType<() => string>;
+//   ^?
+type ReturnType2 = ReturnType<(arg: string) => string | number>;
+//   ^?
+type ReturnType3 = ReturnType<() => never>;
+//   ^?
+```
+
+多くは`typeof`と併用して実際の関数の戻り値を取得します。
+
+```ts twoslash
+const isEven = (num: number) => {
+  return num / 2 === 0;
+};
+
+type isEvenRetType = ReturnType<typeof isEven>;
+//   ^?
+```
+
+`ReturnType<T>`は内部的には`infer`を使って実装されています。
+
+```ts twoslash
+// @noErrors
+type ReturnType<T extends (...args: any) => any> = T extends (
+  ...args: any
+) => infer R
+  ? R
+  : any;
+```

sidebars.js

@@ -354,6 +354,7 @@ module.exports = {
                 "reference/type-reuse/utility-types/extract",
                 "reference/type-reuse/utility-types/no-infer",
                 "reference/type-reuse/utility-types/nonnullable",
+                "reference/type-reuse/utility-types/return-type",
               ],
             },
             "reference/type-reuse/mapped-types",