diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-03 14:06:55 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-03 14:06:55 +0100 |
commit | b29f442c8b8601feec4dbc49f121801b153d83e1 (patch) | |
tree | 205b8e397a979ec742667f65eb781178e2e68c8c /docs/dev/debugging.md | |
parent | e593d4ac73497f01d577a88ff1a0d57f63734dbf (diff) | |
parent | 9e4fee8b41b1ff4cf2b36d550c6cdb689b914f15 (diff) |
Merge #1227
1227: Add `default_type` method in `TypeParam` Node r=matklad a=edwin0cheng
This PR add a `default_type` method in `TypeParam` Node which allow future PR to handle #1099 case.
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions