diff options
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
-rw-r--r-- | crates/ra_hir_ty/src/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs index 6eccd7fa8..1da4bcc19 100644 --- a/crates/ra_hir_ty/src/lib.rs +++ b/crates/ra_hir_ty/src/lib.rs | |||
@@ -288,10 +288,12 @@ pub enum Ty { | |||
288 | Projection(ProjectionTy), | 288 | Projection(ProjectionTy), |
289 | 289 | ||
290 | /// A type parameter; for example, `T` in `fn f<T>(x: T) {} | 290 | /// A type parameter; for example, `T` in `fn f<T>(x: T) {} |
291 | // TODO fix documentation | ||
291 | Param(TypeParamId), | 292 | Param(TypeParamId), |
292 | 293 | ||
293 | /// A bound type variable. Used during trait resolution to represent Chalk | 294 | /// A bound type variable. Used during trait resolution to represent Chalk |
294 | /// variables, and in `Dyn` and `Opaque` bounds to represent the `Self` type. | 295 | /// variables, and in `Dyn` and `Opaque` bounds to represent the `Self` type. |
296 | // TODO fix documentation | ||
295 | Bound(u32), | 297 | Bound(u32), |
296 | 298 | ||
297 | /// A type variable used during type checking. Not to be confused with a | 299 | /// A type variable used during type checking. Not to be confused with a |