Module pr47::util::type_assert

type_assert.rs: defines type assertions used by proc-macro generated codes.

The purpose of module type_assert is similar to static_asserts in C++, which makes the diagnostics information shorter and clearer. If the desired property of one type is not satisfied, compilation will fail then, with error information indicated.

Modules

helper_traits

Contains traits used by type assertions.

Functions

assert_clone

Assert that the type parameter T is cloneable.

assert_const_ref

Assert that the type parameter T is an immutable reference.

assert_mut_ref

Assert that the type parameter T is a mutable reference.

assert_option

Assert that the type parameter T is an null-convertible Option type.

assert_ref

Assert that the type parameter T is a reference.

assert_result

Assert that the type parameter T is an exception-convertible Result type.

assert_static_base

Assert that the type parameter T satisfies StaticBase requirements.