Use impl_froms!
This commit is contained in:
@@ -57,21 +57,11 @@ pub fn infer(db: &impl HirDatabase, func: Function) -> Arc<InferenceResult> {
|
|||||||
|
|
||||||
#[derive(Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
#[derive(Debug, Copy, Clone, Hash, PartialEq, Eq)]
|
||||||
enum ExprOrPatId {
|
enum ExprOrPatId {
|
||||||
Expr(ExprId),
|
ExprId(ExprId),
|
||||||
Pat(PatId),
|
PatId(PatId),
|
||||||
}
|
}
|
||||||
|
|
||||||
impl From<ExprId> for ExprOrPatId {
|
impl_froms!(ExprOrPatId: ExprId, PatId);
|
||||||
fn from(id: ExprId) -> Self {
|
|
||||||
ExprOrPatId::Expr(id)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl From<PatId> for ExprOrPatId {
|
|
||||||
fn from(id: PatId) -> Self {
|
|
||||||
ExprOrPatId::Pat(id)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
/// The result of type inference: A mapping from expressions and patterns to types.
|
/// The result of type inference: A mapping from expressions and patterns to types.
|
||||||
#[derive(Clone, PartialEq, Eq, Debug)]
|
#[derive(Clone, PartialEq, Eq, Debug)]
|
||||||
|
|||||||
Reference in New Issue
Block a user