Fix doc comments

This commit is contained in:
Ayaz Hafiz 2023-07-12 17:16:12 -05:00
parent a2574a5a98
commit 00730be6fb
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 11 additions and 11 deletions

View file

@ -1777,7 +1777,7 @@ const ERASURE_VALUE_INDEX: u32 = 1;
/// Erasure type modeled as
///
/// ```
/// ```text
/// Tuple(callee: FnPtr, value: HeapCell)
/// ```
fn erasure_type<TC: TypeContext>(builder: &mut TC) -> Result<TypeId> {
@ -1809,7 +1809,7 @@ fn box_erasure_value_unknown_nullptr(
/// Erasure value modeled as
///
/// ```
/// ```text
/// callee = make_tuple(&[])
/// value = unknown(make_tuple(...captures))
///