Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix doc comment for
ConstParamTy
derive
See #111670 (comment) Thanks @Nilstrieb for the pointer :)
- Loading branch information