Created
March 12, 2018 12:57
-
-
Save sinkuu/7d2e89fd2005984b83547b46f6d7c836 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- old 2018-03-12 21:56:41.351987492 +0900 | |
+++ new 2018-03-12 21:55:53.209566593 +0900 | |
@@ -136,10 +136,786 @@ | |
let x = 1; | |
let y = NonDebug(0); | |
- if !(x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }) { | |
- { | |
- ::rt::begin_panic("assertion failed: x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }", | |
- &("test2.rs", 14u32, 5u32)) | |
+ { | |
+ #[allow(unused)] | |
+ let __capture0 = ::std::assert_helper::Unevaluated{}; | |
+ #[allow(unused)] | |
+ let __capture1 = ::std::assert_helper::Unevaluated{}; | |
+ let mut __capture2 = ::std::assert_helper::Captured::Unevaluated{}; | |
+ let mut __capture3 = ::std::assert_helper::Captured::Unevaluated{}; | |
+ #[allow(unused)] | |
+ let __capture4 = ::std::assert_helper::Unevaluated{}; | |
+ #[allow(unused)] | |
+ let __capture5 = ::std::assert_helper::Unevaluated{}; | |
+ #[allow(unused)] | |
+ let __capture6 = ::std::assert_helper::Unevaluated{}; | |
+ let mut __capture7 = ::std::assert_helper::Captured::Unevaluated{}; | |
+ match x { | |
+ ref __capture0 => | |
+ match 1 { | |
+ ref __capture1 => | |
+ if *__capture0 == *__capture1 { | |
+ match { | |
+ let __tmp = y; | |
+ ::std::assert_helper::TryCapture::try_capture(&__tmp, | |
+ &mut __capture2); | |
+ __tmp | |
+ } { | |
+ __tmp1 => | |
+ match { | |
+ let __tmp = NonDebug(1); | |
+ ::std::assert_helper::TryCapture::try_capture(&__tmp, | |
+ &mut __capture3); | |
+ __tmp | |
+ } { | |
+ __tmp2 => | |
+ match __tmp1 + __tmp2 { | |
+ __tmp3 => | |
+ match NonDebug(0) { | |
+ ref __capture4 => | |
+ if __tmp3 == *__capture4 { | |
+ match x { | |
+ ref __capture5 => | |
+ match 1 { | |
+ ref __capture6 => | |
+ if *__capture5 == *__capture6 | |
+ { | |
+ match { | |
+ let __tmp = | |
+ { 1 == 0 }; | |
+ ::std::assert_helper::TryCapture::try_capture(&__tmp, | |
+ &mut __capture7); | |
+ __tmp | |
+ } { | |
+ __tmp0 => | |
+ if __tmp0 { | |
+ () | |
+ } else { | |
+ { | |
+ ::rt::begin_panic_fmt(&::std::fmt::Arguments::new_v1_formatted(&["assertion failed: ", | |
+ "\nwith expansion: ", | |
+ " == ", | |
+ " && ", | |
+ " + ", | |
+ " == ", | |
+ " && ", | |
+ " == ", | |
+ " && "], | |
+ &match (&"x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }", | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture0), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture1), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture2, | |
+ "(y)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture3, | |
+ "(NonDebug(1))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture4), | |
+ "(NonDebug(0))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture5), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture6), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture7, | |
+ "({ 1 == 0 })")) | |
+ { | |
+ (__arg0, | |
+ __arg1, | |
+ __arg2, | |
+ __arg3, | |
+ __arg4, | |
+ __arg5, | |
+ __arg6, | |
+ __arg7, | |
+ __arg8) | |
+ => | |
+ [::std::fmt::ArgumentV1::new(__arg0, | |
+ ::std::fmt::Display::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg1, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg2, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg3, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg4, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg5, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg6, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg7, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg8, | |
+ ::std::fmt::Debug::fmt)], | |
+ }, | |
+ &[::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(0usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(1usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(2usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(3usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(4usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(5usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(6usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(7usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(8usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}]), | |
+ &("test2.rs", | |
+ 14u32, | |
+ 5u32)) | |
+ } | |
+ }, | |
+ } | |
+ } else { | |
+ { | |
+ ::rt::begin_panic_fmt(&::std::fmt::Arguments::new_v1_formatted(&["assertion failed: ", | |
+ "\nwith expansion: ", | |
+ " == ", | |
+ " && ", | |
+ " + ", | |
+ " == ", | |
+ " && ", | |
+ " == ", | |
+ " && "], | |
+ &match (&"x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }", | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture0), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture1), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture2, | |
+ "(y)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture3, | |
+ "(NonDebug(1))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture4), | |
+ "(NonDebug(0))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture5), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture6), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture7, | |
+ "({ 1 == 0 })")) | |
+ { | |
+ (__arg0, | |
+ __arg1, | |
+ __arg2, | |
+ __arg3, | |
+ __arg4, | |
+ __arg5, | |
+ __arg6, | |
+ __arg7, | |
+ __arg8) | |
+ => | |
+ [::std::fmt::ArgumentV1::new(__arg0, | |
+ ::std::fmt::Display::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg1, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg2, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg3, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg4, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg5, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg6, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg7, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg8, | |
+ ::std::fmt::Debug::fmt)], | |
+ }, | |
+ &[::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(0usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(1usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(2usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(3usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(4usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(5usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(6usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(7usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(8usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}]), | |
+ &("test2.rs", | |
+ 14u32, | |
+ 5u32)) | |
+ } | |
+ }, | |
+ }, | |
+ } | |
+ } else { | |
+ { | |
+ ::rt::begin_panic_fmt(&::std::fmt::Arguments::new_v1_formatted(&["assertion failed: ", | |
+ "\nwith expansion: ", | |
+ " == ", | |
+ " && ", | |
+ " + ", | |
+ " == ", | |
+ " && ", | |
+ " == ", | |
+ " && "], | |
+ &match (&"x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }", | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture0), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture1), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture2, | |
+ "(y)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture3, | |
+ "(NonDebug(1))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture4), | |
+ "(NonDebug(0))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture5), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture6), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture7, | |
+ "({ 1 == 0 })")) | |
+ { | |
+ (__arg0, | |
+ __arg1, | |
+ __arg2, | |
+ __arg3, | |
+ __arg4, | |
+ __arg5, | |
+ __arg6, | |
+ __arg7, | |
+ __arg8) | |
+ => | |
+ [::std::fmt::ArgumentV1::new(__arg0, | |
+ ::std::fmt::Display::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg1, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg2, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg3, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg4, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg5, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg6, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg7, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg8, | |
+ ::std::fmt::Debug::fmt)], | |
+ }, | |
+ &[::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(0usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(1usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(2usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(3usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(4usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(5usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(6usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(7usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(8usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}]), | |
+ &("test2.rs", | |
+ 14u32, | |
+ 5u32)) | |
+ } | |
+ }, | |
+ }, | |
+ }, | |
+ }, | |
+ } | |
+ } else { | |
+ { | |
+ ::rt::begin_panic_fmt(&::std::fmt::Arguments::new_v1_formatted(&["assertion failed: ", | |
+ "\nwith expansion: ", | |
+ " == ", | |
+ " && ", | |
+ " + ", | |
+ " == ", | |
+ " && ", | |
+ " == ", | |
+ " && "], | |
+ &match (&"x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }", | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture0), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture1), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture2, | |
+ "(y)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture3, | |
+ "(NonDebug(1))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture4), | |
+ "(NonDebug(0))"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture5), | |
+ "(x)"), | |
+ &::std::assert_helper::DebugFallback::new(::std::assert_helper::Captured::Value(__capture6), | |
+ "(1)"), | |
+ &::std::assert_helper::DebugFallback::new(__capture7, | |
+ "({ 1 == 0 })")) | |
+ { | |
+ (__arg0, | |
+ __arg1, | |
+ __arg2, | |
+ __arg3, | |
+ __arg4, | |
+ __arg5, | |
+ __arg6, | |
+ __arg7, | |
+ __arg8) | |
+ => | |
+ [::std::fmt::ArgumentV1::new(__arg0, | |
+ ::std::fmt::Display::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg1, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg2, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg3, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg4, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg5, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg6, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg7, | |
+ ::std::fmt::Debug::fmt), | |
+ ::std::fmt::ArgumentV1::new(__arg8, | |
+ ::std::fmt::Debug::fmt)], | |
+ }, | |
+ &[::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(0usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(1usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(2usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(3usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(4usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(5usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(6usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(7usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}, | |
+ ::std::fmt::rt::v1::Argument{position: | |
+ ::std::fmt::rt::v1::Position::At(8usize), | |
+ format: | |
+ ::std::fmt::rt::v1::FormatSpec{fill: | |
+ ' ', | |
+ align: | |
+ ::std::fmt::rt::v1::Alignment::Unknown, | |
+ flags: | |
+ 0u32, | |
+ precision: | |
+ ::std::fmt::rt::v1::Count::Implied, | |
+ width: | |
+ ::std::fmt::rt::v1::Count::Implied,},}]), | |
+ &("test2.rs", 14u32, 5u32)) | |
+ } | |
+ }, | |
+ }, | |
} | |
}; | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
use std::ops::Add; | |
fn main() { | |
#[derive(Ord, Eq, PartialOrd, PartialEq)] | |
struct NonDebug(i32); | |
impl Add for NonDebug { | |
type Output = Self; | |
fn add(self, rhs: Self) -> Self { | |
NonDebug(self.0 + rhs.0) | |
} | |
} | |
let x = 1; | |
let y = NonDebug(0); | |
assert!(x == 1 && y + NonDebug(1) == NonDebug(0) && x == 1 && { 1 == 0 }); | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment