This allows for query based compilation

Rust can forward declare items to avoid the need for prototypes for
example. This means when a path resolved to a node we must look it up
and see if it is already compiled or go and compiler it. This also applies
to generics which are monomorphized and might have already been compiled.

This adds two new keyword arguments bool query_mode and ref_locus, these
say to the classes that this is query based mode and ICE when we get
error_mark_node when we fail to compile something. This will need to be
changed once we get to a certain level of maturity but this helps
diagnose bugs for now. The ref_locus refers to the location of the
reference to this item such that the compilation of an item can give us
a reference expression to this item with this ref_locus. For example:

  call (123)

And call is query compiled and the ref_locus is this call_expression.

1 files changed, 8 insertions, 9 deletions

diff --git a/gcc/rust/backend/rust-compile-resolve-path.h b/gcc/rust/backend/rust-compile-resolve-path.h
index 6c234d1..2b50ec1 100644
--- a/gcc/rust/backend/rust-compile-resolve-path.h
+++ b/gcc/rust/backend/rust-compile-resolve-path.h
@@ -54,15 +54,14 @@ private:
     : HIRCompileBase (ctx), resolved (ctx->get_backend ()->error_expression ())
   {}
 
-  void resolve (const HIR::PathIdentSegment &final_segment,
-		const Analysis::NodeMapping &mappings, Location locus,
-		bool is_qualified_path);
-
-  Bexpression *
-  query_compile_function (HirId ref, TyTy::FnType *fntype,
-			  const HIR::PathIdentSegment &final_segment,
-			  const Analysis::NodeMapping &mappings,
-			  Location expr_locus, bool is_qualified_path);
+  Bexpression *resolve (const HIR::PathIdentSegment &final_segment,
+			const Analysis::NodeMapping &mappings, Location locus,
+			bool is_qualified_path);
+
+  Bexpression *query_compile (HirId ref, TyTy::BaseType *lookup,
+			      const HIR::PathIdentSegment &final_segment,
+			      const Analysis::NodeMapping &mappings,
+			      Location expr_locus, bool is_qualified_path);
 
   Bexpression *resolved;
 };