From 4e17718a9aaba34533ba6a46d52b4aa959c662c7 Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Tue, 26 Nov 2019 15:40:55 +0300
Subject: [PATCH] Doc primitives

---
 crates/ra_hir_ty/src/lib.rs       | 3 ++-
 crates/ra_hir_ty/src/primitive.rs | 5 ++++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs
index 25bfc1d154c..28859ba6366 100644
--- a/crates/ra_hir_ty/src/lib.rs
+++ b/crates/ra_hir_ty/src/lib.rs
@@ -1,3 +1,4 @@
-//! FIXME: write short doc here
+//! Work in Progress: everything related to types, type inference and trait
+//! solving.
 
 pub mod primitive;
diff --git a/crates/ra_hir_ty/src/primitive.rs b/crates/ra_hir_ty/src/primitive.rs
index afa22448dab..02a8179d94d 100644
--- a/crates/ra_hir_ty/src/primitive.rs
+++ b/crates/ra_hir_ty/src/primitive.rs
@@ -1,4 +1,7 @@
-//! FIXME: write short doc here
+//! Defines primitive types, which have a couple of peculiarities:
+//!
+//! * during type inference, they can be uncertain (ie, `let x = 92;`)
+//! * they don't belong to any particular crate.
 
 use std::fmt;