{
"alloc::string::from_raw_parts": [
{
"tag": "Allocated",
"args": [
"buf",
"T",
"length"
]
},
{
"tag": "Align",
"args": [
"buf",
"T"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "ValidString",
"args": [
"buf"
]
}
],
"alloc::vec::from_parts": [
{
"tag": "Allocated",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
},
{
"tag": "InBound",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Layout",
"args": [
"ptr"
]
}
],
"alloc::vec::from_parts_in": [
{
"tag": "Allocated",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
},
{
"tag": "InBound",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Layout",
"args": [
"ptr"
]
}
],
"alloc::vec::from_raw_parts": [
{
"tag": "Allocated",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
},
{
"tag": "InBound",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Layout",
"args": [
"ptr"
]
}
],
"alloc::vec::from_raw_parts_in": [
{
"tag": "Allocated",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
},
{
"tag": "InBound",
"args": [
"ptr",
"T",
"length"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Layout",
"args": [
"ptr"
]
}
],
"core::ptr::read": [
{
"tag": "ValidPtr",
"args": [
"self",
"T",
"1"
]
},
{
"tag": "Align",
"args": [
"self",
"T"
]
},
{
"tag": "Typed",
"args": [
"self",
"T"
]
}
],
"core::ptr::const_ptr::read": [
{
"tag": "ValidPtr",
"args": [
"self",
"T",
"1"
]
},
{
"tag": "Align",
"args": [
"self",
"T"
]
},
{
"tag": "Typed",
"args": [
"self",
"T"
]
}
],
"core::ptr::copy_nonoverlapping": [
{
"tag": "Align",
"args": [
"src",
"T"
]
},
{
"tag": "Align",
"args": [
"dst",
"T"
]
},
{
"tag": "ValidPtr",
"args": [
"src",
"T",
"count"
]
},
{
"tag": "ValidPtr",
"args": [
"dst",
"T",
"count"
]
},
{
"tag": "NonOverlap",
"args": [
"dst",
"src"
]
}
],
"core::ptr::mut_ptr::read": [
{
"tag": "ValidPtr",
"args": [
"src",
"T",
"1"
]
},
{
"tag": "Align",
"args": [
"src",
"T"
]
},
{
"tag": "Typed",
"args": [
"src",
"T"
]
}
],
"core::ptr::write": [
{
"tag": "ValidPtr",
"args": [
"dst",
"T",
"1"
]
},
{
"tag": "Align",
"args": [
"dst",
"T"
]
}
],
"core::ptr::mut_ptr::write": [
{
"tag": "ValidPtr",
"args": [
"self",
"T",
"1"
]
},
{
"tag": "Align",
"args": [
"self",
"T"
]
}
],
"core::slice::raw::from_mut_ptr_range": [
{
"tag": "NonNull",
"args": [
"range"
]
},
{
"tag": "ValidPtr",
"args": [
"range",
"T",
"1"
]
},
{
"tag": "Init",
"args": [
"range",
"T",
"1"
]
},
{
"tag": "Alive",
"args": [
"range"
]
},
{
"tag": "Alias",
"args": [
"range"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Align",
"args": [
"range",
"T"
]
}
],
"core::slice::raw::from_ptr_range": [
{
"tag": "NonNull",
"args": [
"range"
]
},
{
"tag": "ValidPtr",
"args": [
"range",
"T",
"1"
]
},
{
"tag": "Init",
"args": [
"range",
"T",
"1"
]
},
{
"tag": "Alive",
"args": [
"range"
]
},
{
"tag": "Alias",
"args": [
"range"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Align",
"args": [
"range",
"T"
]
},
{
"tag": "InBound",
"args": [
"range",
"T",
"1"
]
}
],
"core::slice::raw::from_raw_parts": [
{
"tag": "NonNull",
"args": [
"data"
]
},
{
"tag": "ValidPtr",
"args": [
"data",
"T",
"len"
]
},
{
"tag": "Init",
"args": [
"data",
"T",
"len"
]
},
{
"tag": "Alive",
"args": [
"data"
]
},
{
"tag": "Alias",
"args": [
"data"
]
},
{
"tag": "Align",
"args": [
"data",
"T"
]
},
{
"tag": "ValidNum",
"args": []
}
],
"core::slice::raw::from_raw_parts_mut": [
{
"tag": "NonNull",
"args": [
"data"
]
},
{
"tag": "ValidPtr",
"args": [
"data",
"T",
"len"
]
},
{
"tag": "Init",
"args": [
"data",
"T",
"len"
]
},
{
"tag": "Alive",
"args": [
"data"
]
},
{
"tag": "Alias",
"args": [
"data"
]
},
{
"tag": "Align",
"args": [
"data",
"T"
]
},
{
"tag": "ValidNum",
"args": []
}
],
"core::slice::get_unchecked": [
{
"tag": "InBound",
"args": ["arg:0", "ty:T", "Arg_1 + 1"]
}
],
"core::slice::get_unchecked_mut": [
{
"tag": "InBound",
"args": ["arg:0", "ty:T", "Arg_1 + 1"]
}
],
"core::str::converts::from_raw_parts": [
{
"tag": "NonNull",
"args": [
"ptr"
]
},
{
"tag": "ValidPtr",
"args": [
"ptr",
"T",
"len"
]
},
{
"tag": "Init",
"args": [
"ptr",
"T",
"len"
]
},
{
"tag": "Alive",
"args": [
"ptr"
]
},
{
"tag": "Alias",
"args": [
"ptr"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
}
],
"core::str::converts::from_raw_parts_mut": [
{
"tag": "NonNull",
"args": [
"ptr"
]
},
{
"tag": "ValidPtr",
"args": [
"ptr",
"T",
"len"
]
},
{
"tag": "Init",
"args": [
"ptr",
"T",
"len"
]
},
{
"tag": "Alive",
"args": [
"ptr"
]
},
{
"tag": "Alias",
"args": [
"ptr"
]
},
{
"tag": "ValidNum",
"args": []
},
{
"tag": "Align",
"args": [
"ptr",
"T"
]
}
]
}