@@ -1048,6 +1048,8 @@ impl BasicBlock {
1048
1048
///////////////////////////////////////////////////////////////////////////
1049
1049
// BasicBlockData
1050
1050
1051
+ /// Data for a basic block, including a list of its statements.
1052
+ ///
1051
1053
/// See [`BasicBlock`] for documentation on what basic blocks are at a high level.
1052
1054
#[ derive( Clone , Debug , TyEncodable , TyDecodable , HashStable , TypeFoldable , TypeVisitable ) ]
1053
1055
pub struct BasicBlockData < ' tcx > {
@@ -1079,7 +1081,7 @@ impl<'tcx> BasicBlockData<'tcx> {
1079
1081
/// Accessor for terminator.
1080
1082
///
1081
1083
/// Terminator may not be None after construction of the basic block is complete. This accessor
1082
- /// provides a convenience way to reach the terminator.
1084
+ /// provides a convenient way to reach the terminator.
1083
1085
#[ inline]
1084
1086
pub fn terminator ( & self ) -> & Terminator < ' tcx > {
1085
1087
self . terminator . as_ref ( ) . expect ( "invalid terminator state" )
@@ -1286,6 +1288,7 @@ impl<O: fmt::Debug> fmt::Debug for AssertKind<O> {
1286
1288
///////////////////////////////////////////////////////////////////////////
1287
1289
// Statements
1288
1290
1291
+ /// A statement in a basic block, including information about its source code.
1289
1292
#[ derive( Clone , TyEncodable , TyDecodable , HashStable , TypeFoldable , TypeVisitable ) ]
1290
1293
pub struct Statement < ' tcx > {
1291
1294
pub source_info : SourceInfo ,
0 commit comments