diff --git a/mlir/include/mlir/IR/BuiltinTypes.td b/mlir/include/mlir/IR/BuiltinTypes.td
--- a/mlir/include/mlir/IR/BuiltinTypes.td
+++ b/mlir/include/mlir/IR/BuiltinTypes.td
@@ -361,13 +361,14 @@
 
     The memory space of a memref is specified by a target-specific attribute.
     It might be an integer value, string, dictionary or custom dialect attribute.
-    The empty memory space (attribute is None) is target specific.
+    The empty memory space (attribute is None) is target-specific. A memref in
+    one memory space cannot alias with a memref in a different memory space.
 
     The notionally dynamic value of a memref value includes the address of the
-    buffer allocated, as well as the symbols referred to by the shape, layout
-    map, and index maps.
+    buffer allocated, as well as the symbols referred to by the shape and layout
+    map.
 
-    Examples of memref static type
+    Examples of memref static type:
 
     ```mlir
     // Identity index/layout map