Deploying to gh-pages from @ e5d8945 🚀

doc/flux_fhir_analysis/annot_check/errors/struct.ArrayLenMismatch.html

@@ -3,7 +3,7 @@
     len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a>,
     expected_span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>,
     expected_len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a>,
-}</code></pre><h2 id="fields" class="fields small-section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.span" class="structfield small-section-header"><a href="#structfield.span" class="anchor field">§</a><code>span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.len" class="structfield small-section-header"><a href="#structfield.len" class="anchor field">§</a><code>len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><span id="structfield.expected_span" class="structfield small-section-header"><a href="#structfield.expected_span" class="anchor field">§</a><code>expected_span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.expected_len" class="structfield small-section-header"><a href="#structfield.expected_len" class="anchor field">§</a><code>expected_len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><h2 id="implementations" class="small-section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-ArrayLenMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#558-567">source</a><a href="#impl-ArrayLenMismatch" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.ArrayLenMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::ArrayLenMismatch">ArrayLenMismatch</a></h3></section></summary><div class="impl-items"><section id="method.new" class="method"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#559-566">source</a><h4 class="code-header">pub(super) fn <a href="#method.new" class="fn">new</a>(len: &amp;ArrayLen, expected_len: &amp;ArrayLen) -&gt; Self</h4></section></div></details></div><h2 id="trait-implementations" class="small-section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-ArrayLenMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#546">source</a><a href="#impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-ArrayLenMismatch" class="anchor">§</a><h3 class="code-header">impl&lt;'__diagnostic_handler_sess, G&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.IntoDiagnostic.html" title="trait rustc_errors::diagnostic_builder::IntoDiagnostic">IntoDiagnostic</a>&lt;'__diagnostic_handler_sess, G&gt; for <a class="struct" href="struct.ArrayLenMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::ArrayLenMismatch">ArrayLenMismatch</a><span class="where fmt-newline">where
+}</code></pre><h2 id="fields" class="fields small-section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.span" class="structfield small-section-header"><a href="#structfield.span" class="anchor field">§</a><code>span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.len" class="structfield small-section-header"><a href="#structfield.len" class="anchor field">§</a><code>len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><span id="structfield.expected_span" class="structfield small-section-header"><a href="#structfield.expected_span" class="anchor field">§</a><code>expected_span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.expected_len" class="structfield small-section-header"><a href="#structfield.expected_len" class="anchor field">§</a><code>expected_len: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><h2 id="implementations" class="small-section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-ArrayLenMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#558-567">source</a><a href="#impl-ArrayLenMismatch" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.ArrayLenMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::ArrayLenMismatch">ArrayLenMismatch</a></h3></section></summary><div class="impl-items"><section id="method.new" class="method"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#559-566">source</a><h4 class="code-header">pub(super) fn <a href="#method.new" class="fn">new</a>(len: &amp;<a class="struct" href="../../../flux_middle/fhir/struct.ArrayLen.html" title="struct flux_middle::fhir::ArrayLen">ArrayLen</a>, expected_len: &amp;<a class="struct" href="../../../flux_middle/fhir/struct.ArrayLen.html" title="struct flux_middle::fhir::ArrayLen">ArrayLen</a>) -&gt; Self</h4></section></div></details></div><h2 id="trait-implementations" class="small-section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-ArrayLenMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#546">source</a><a href="#impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-ArrayLenMismatch" class="anchor">§</a><h3 class="code-header">impl&lt;'__diagnostic_handler_sess, G&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.IntoDiagnostic.html" title="trait rustc_errors::diagnostic_builder::IntoDiagnostic">IntoDiagnostic</a>&lt;'__diagnostic_handler_sess, G&gt; for <a class="struct" href="struct.ArrayLenMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::ArrayLenMismatch">ArrayLenMismatch</a><span class="where fmt-newline">where
     G: <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.EmissionGuarantee.html" title="trait rustc_errors::diagnostic_builder::EmissionGuarantee">EmissionGuarantee</a>,</span></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_diagnostic" class="method trait-impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#546">source</a><a href="#method.into_diagnostic" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.IntoDiagnostic.html#tymethod.into_diagnostic" class="fn">into_diagnostic</a>(
     self,
     sess: &amp;'__diagnostic_handler_sess <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/struct.Handler.html" title="struct rustc_errors::Handler">Handler</a>

doc/flux_fhir_analysis/annot_check/errors/struct.FieldCountMismatch.html

@@ -4,8 +4,8 @@
     expected_span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a>,
     expected_fields: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a>,
 }</code></pre><h2 id="fields" class="fields small-section-header">Fields<a href="#fields" class="anchor">§</a></h2><span id="structfield.span" class="structfield small-section-header"><a href="#structfield.span" class="anchor field">§</a><code>span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.fields" class="structfield small-section-header"><a href="#structfield.fields" class="anchor field">§</a><code>fields: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><span id="structfield.expected_span" class="structfield small-section-header"><a href="#structfield.expected_span" class="anchor field">§</a><code>expected_span: <a class="struct" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_span/span_encoding/struct.Span.html" title="struct rustc_span::span_encoding::Span">Span</a></code></span><span id="structfield.expected_fields" class="structfield small-section-header"><a href="#structfield.expected_fields" class="anchor field">§</a><code>expected_fields: <a class="primitive" href="https://doc.rust-lang.org/nightly/std/primitive.usize.html">usize</a></code></span><h2 id="implementations" class="small-section-header">Implementations<a href="#implementations" class="anchor">§</a></h2><div id="implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-FieldCountMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#581-593">source</a><a href="#impl-FieldCountMismatch" class="anchor">§</a><h3 class="code-header">impl <a class="struct" href="struct.FieldCountMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::FieldCountMismatch">FieldCountMismatch</a></h3></section></summary><div class="impl-items"><section id="method.from_variants" class="method"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#582-592">source</a><h4 class="code-header">pub(super) fn <a href="#method.from_variants" class="fn">from_variants</a>(
-    variant: &amp;VariantDef&lt;'_&gt;,
-    expected_variant: &amp;VariantDef&lt;'_&gt;
+    variant: &amp;<a class="struct" href="../../../flux_middle/fhir/struct.VariantDef.html" title="struct flux_middle::fhir::VariantDef">VariantDef</a>&lt;'_&gt;,
+    expected_variant: &amp;<a class="struct" href="../../../flux_middle/fhir/struct.VariantDef.html" title="struct flux_middle::fhir::VariantDef">VariantDef</a>&lt;'_&gt;
 ) -&gt; Self</h4></section></div></details></div><h2 id="trait-implementations" class="small-section-header">Trait Implementations<a href="#trait-implementations" class="anchor">§</a></h2><div id="trait-implementations-list"><details class="toggle implementors-toggle" open><summary><section id="impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-FieldCountMismatch" class="impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#569">source</a><a href="#impl-IntoDiagnostic%3C'__diagnostic_handler_sess,+G%3E-for-FieldCountMismatch" class="anchor">§</a><h3 class="code-header">impl&lt;'__diagnostic_handler_sess, G&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.IntoDiagnostic.html" title="trait rustc_errors::diagnostic_builder::IntoDiagnostic">IntoDiagnostic</a>&lt;'__diagnostic_handler_sess, G&gt; for <a class="struct" href="struct.FieldCountMismatch.html" title="struct flux_fhir_analysis::annot_check::errors::FieldCountMismatch">FieldCountMismatch</a><span class="where fmt-newline">where
     G: <a class="trait" href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.EmissionGuarantee.html" title="trait rustc_errors::diagnostic_builder::EmissionGuarantee">EmissionGuarantee</a>,</span></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_diagnostic" class="method trait-impl"><a class="src rightside" href="../../../src/flux_fhir_analysis/annot_check.rs.html#569">source</a><a href="#method.into_diagnostic" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_errors/diagnostic_builder/trait.IntoDiagnostic.html#tymethod.into_diagnostic" class="fn">into_diagnostic</a>(
     self,