aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
-rw-r--r--crates/ra_hir_ty/src/lib.rs2
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