// Explicit trait-method promotions for this package's types.
//
// The upgraded MoonBit toolchain deprecated the implicit promotion of trait
// methods as regular methods (`derive(Eq, Debug)` making `x.equal(y)` and
// `x.to_repr()` resolve). Each promotion used by this package is declared
// here explicitly so it keeps working; `#doc(hidden)` keeps the promotions
// out of the generated interface, leaving the package's public API unchanged.

///|
#doc(hidden)
pub extend XrBackend with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrBackend with Eq::{not_equal, equal}

///|
#doc(hidden)
pub extend XrBackend with ToJson::{to_json}

///|
#doc(hidden)
pub extend XrFrame with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrInputSource with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrPose with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrPose with Eq::{not_equal, equal}

///|
#doc(hidden)
pub extend XrPose with ToJson::{to_json}

///|
#doc(hidden)
pub extend XrProviderDescriptor with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrProviderDescriptor with Eq::{not_equal, equal}

///|
#doc(hidden)
pub extend XrProviderDescriptor with ToJson::{to_json}

///|
#doc(hidden)
pub extend XrResult with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrResult with Eq::{not_equal, equal}

///|
#doc(hidden)
pub extend XrResult with ToJson::{to_json}

///|
#doc(hidden)
pub extend XrSessionMode with Debug::{to_repr}

///|
#doc(hidden)
pub extend XrSessionMode with Eq::{not_equal, equal}

///|
#doc(hidden)
pub extend XrSessionMode with ToJson::{to_json}

///|
#doc(hidden)
pub extend XrView with Debug::{to_repr}