1
Fork 0

Adjust style

This commit is contained in:
Ralf Jung 2020-04-26 18:44:38 +02:00 committed by GitHub
parent b8af409a51
commit c8d8c42d1c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -361,7 +361,7 @@ pub enum UndefinedBehaviorInfo {
InvalidUndefBytes(Option<Pointer>), InvalidUndefBytes(Option<Pointer>),
/// Working with a local that is not currently live. /// Working with a local that is not currently live.
DeadLocal, DeadLocal,
/// Data size is not equal to target size /// Data size is not equal to target size.
ScalarSizeMismatch { ScalarSizeMismatch {
target_size: u64, target_size: u64,
data_size: u64, data_size: u64,