pub enum RoutineSignatureMatchError {
InvalidVariadicSignature {
reason: String,
},
InconsistentDefault {
declared: String,
first: Box<RoutineDefaultType>,
second: Box<RoutineDefaultType>,
},
InconsistentPolymorphicTypes {
first_declared: String,
second_declared: String,
first: Box<RoutineDefaultType>,
second: Box<RoutineDefaultType>,
},
InvalidPolymorphicActual {
declared: String,
actual: RoutineDefaultType,
},
IncompatibleDefaultTypes {
first: Box<ColumnType>,
second: Box<ColumnType>,
},
IncompatibleRangeSubtype {
declared: String,
range: Box<ColumnType>,
common: Box<ColumnType>,
},
InvalidPolymorphicElement {
declared: String,
actual: ColumnType,
},
IndeterminatePolymorphicArgument {
declared: String,
},
IndeterminateArrayElement,
IndeterminatePolymorphicType {
family: RoutinePolymorphicFamily,
},
}Expand description
A structural or polymorphic-resolution error that must be distinguished from an ordinary non-matching candidate.
Variants§
InvalidVariadicSignature
InconsistentDefault
InconsistentPolymorphicTypes
InvalidPolymorphicActual
IncompatibleDefaultTypes
IncompatibleRangeSubtype
InvalidPolymorphicElement
IndeterminatePolymorphicArgument
IndeterminateArrayElement
IndeterminatePolymorphicType
Fields
§
family: RoutinePolymorphicFamilyImplementations§
Trait Implementations§
Source§impl Clone for RoutineSignatureMatchError
impl Clone for RoutineSignatureMatchError
Source§impl Debug for RoutineSignatureMatchError
impl Debug for RoutineSignatureMatchError
impl Eq for RoutineSignatureMatchError
impl StructuralPartialEq for RoutineSignatureMatchError
Auto Trait Implementations§
impl Freeze for RoutineSignatureMatchError
impl RefUnwindSafe for RoutineSignatureMatchError
impl Send for RoutineSignatureMatchError
impl Sync for RoutineSignatureMatchError
impl Unpin for RoutineSignatureMatchError
impl UnsafeUnpin for RoutineSignatureMatchError
impl UnwindSafe for RoutineSignatureMatchError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> ErasedDestructor for Twhere
T: 'static,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more