Rust AST Error - ImplExprPredNotFound

[franziskuskiefer]

hax fails extracting the following code.

hax/tests/rust-ast/src/lib.rs

Lines 1 to 12 in 06138b5

	// error[HaxFront]: Supposely unreachable place in the Rust AST. The label is "ImplExprPredNotFound".
	// This error report happend because some assumption about the Rust AST was broken.
	pub enum Error {
	Fail,
	}
	impl Error {
	pub fn for_application_callback() -> impl FnOnce() -> Self {
	|| Self::Fail
	}
	}

[franziskuskiefer]

@W95Psp Looks like this wasn't tackled according to priority. Please re-prioritise.