@@ -1156,6 +1156,8 @@ impl BasicBlock {
1156
1156
///////////////////////////////////////////////////////////////////////////
1157
1157
// BasicBlockData
1158
1158
1159
+ /// Data for a basic block, including a list of its statements.
1160
+ ///
1159
1161
/// See [`BasicBlock`] for documentation on what basic blocks are at a high level.
1160
1162
#[ derive( Clone , Debug , TyEncodable , TyDecodable , HashStable , TypeFoldable , TypeVisitable ) ]
1161
1163
pub struct BasicBlockData < ' tcx > {
@@ -1187,7 +1189,7 @@ impl<'tcx> BasicBlockData<'tcx> {
1187
1189
/// Accessor for terminator.
1188
1190
///
1189
1191
/// Terminator may not be None after construction of the basic block is complete. This accessor
1190
- /// provides a convenience way to reach the terminator.
1192
+ /// provides a convenient way to reach the terminator.
1191
1193
#[ inline]
1192
1194
pub fn terminator ( & self ) -> & Terminator < ' tcx > {
1193
1195
self . terminator . as_ref ( ) . expect ( "invalid terminator state" )
@@ -1394,6 +1396,7 @@ impl<O: fmt::Debug> fmt::Debug for AssertKind<O> {
1394
1396
///////////////////////////////////////////////////////////////////////////
1395
1397
// Statements
1396
1398
1399
+ /// A statement in a basic block, including information about its source code.
1397
1400
#[ derive( Clone , TyEncodable , TyDecodable , HashStable , TypeFoldable , TypeVisitable ) ]
1398
1401
pub struct Statement < ' tcx > {
1399
1402
pub source_info : SourceInfo ,
0 commit comments