Remove error

noir-lang · Feb 27, 2025 · 780dee8 · 780dee8
1 parent f6c8828
commit 780dee8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 11 deletions.
diff --git a/compiler/noirc_frontend/src/elaborator/patterns.rs b/compiler/noirc_frontend/src/elaborator/patterns.rs
@@ -791,7 +791,7 @@ impl Elaborator<'_> {
         typ
     }
 
-    pub(super) fn instantiate(
+    fn instantiate(
         &mut self,
         typ: Type,
         bindings: TypeBindings,

diff --git a/compiler/noirc_frontend/src/hir/resolution/errors.rs b/compiler/noirc_frontend/src/hir/resolution/errors.rs
@@ -132,8 +132,6 @@ pub enum ResolverError {
     ArrayLengthInterpreter { error: InterpreterError },
     #[error("The unquote operator '$' can only be used within a quote expression")]
     UnquoteUsedOutsideQuote { location: Location },
-    #[error("\"as trait path\" not yet implemented")]
-    AsTraitPathNotYetImplemented { location: Location },
     #[error("Invalid syntax in macro call")]
     InvalidSyntaxInMacroCall { location: Location },
     #[error("Macros must be comptime functions")]
@@ -249,7 +247,6 @@ impl ResolverError {
             | ResolverError::SelfReferentialType { location }
             | ResolverError::NumericGenericUsedForType { location, .. }
             | ResolverError::UnquoteUsedOutsideQuote { location }
-            | ResolverError::AsTraitPathNotYetImplemented { location }
             | ResolverError::InvalidSyntaxInMacroCall { location }
             | ResolverError::MacroIsNotComptime { location }
             | ResolverError::NonFunctionInAnnotation { location }
@@ -663,13 +660,6 @@ impl<'a> From<&'a ResolverError> for Diagnostic {
                     *location,
                 )
             },
-            ResolverError::AsTraitPathNotYetImplemented { location } => {
-                Diagnostic::simple_error(
-                    "\"as trait path\" not yet implemented".into(),
-                    "".into(),
-                    *location,
-                )
-            },
             ResolverError::InvalidSyntaxInMacroCall { location } => {
                 Diagnostic::simple_error(
                     "Invalid syntax in macro call".into(),