Skip to content

Instantly share code, notes, and snippets.

@sinkuu

sinkuu/rfc2011.diff

Created March 12, 2018 12:57
Show Gist options
  • Save sinkuu/7d2e89fd2005984b83547b46f6d7c836 to your computer and use it in GitHub Desktop.
Save sinkuu/7d2e89fd2005984b83547b46f6d7c836 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rfc2011.diff
--- 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))
+ }
+ },
+ },
}
};
}
Raw
test.rs
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