Skip to content

Commit

Permalink
Deploying to gh-pages from @ 49833ff 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@nilehmann
nilehmann committed Feb 7, 2025
1 parent e37523f commit 2c3cd88
Show file tree
Hide file tree
Showing 7 changed files with 10 additions and 10 deletions.
2 changes: 1 addition & 1 deletion doc/flux_infer/infer/enum.TypeTrace.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@
if <code>into_left(&amp;self)</code> returns <code>true</code>.
Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-NormalizeExt-for-T" class="impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#31-36">Source</a><a href="#impl-NormalizeExt-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="../projections/trait.NormalizeExt.html" title="trait flux_infer::projections::NormalizeExt">NormalizeExt</a> for T<div class="where">where
T: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#32-35">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>&lt;'tcx&gt;(
T: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#32-35">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>(
&amp;self,
infcx: &amp;mut <a class="struct" href="struct.InferCtxt.html" title="struct flux_infer::infer::InferCtxt">InferCtxt</a>&lt;'_, '_, '_&gt;,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="enum" href="../../flux_middle/queries/enum.QueryErr.html" title="enum flux_middle::queries::QueryErr">QueryErr</a>&gt;</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryFrom%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/nightly/src/core/convert/mod.rs.html#805-807">Source</a><a href="#impl-TryFrom%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;U&gt; for T<div class="where">where
Expand Down
4 changes: 2 additions & 2 deletions doc/flux_infer/projections/trait.NormalizeExt.html
View file
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
<!DOCTYPE html><html lang="en"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1.0"><meta name="generator" content="rustdoc"><meta name="description" content="API documentation for the Rust `NormalizeExt` trait in crate `flux_infer`."><title>NormalizeExt in flux_infer::projections - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-Medium-e1aa3f0a.woff2,SourceCodePro-Regular-8badfe75.ttf.woff2,SourceCodePro-Semibold-aa29a496.ttf.woff2".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2" crossorigin href="../../static.files/${f}">`).join(""))</script><link rel="stylesheet" href="../../static.files/normalize-9960930a.css"><link rel="stylesheet" href="../../static.files/rustdoc-590a400c.css"><meta name="rustdoc-vars" data-root-path="../../" data-static-root-path="../../static.files/" data-current-crate="flux_infer" data-themes="" data-resource-suffix="" data-rustdoc-version="1.84.0-nightly (b3f75cc87 2024-11-02)" data-channel="nightly" data-search-js="search-c5a66128.js" data-settings-js="settings-0f613d39.js" ><script src="../../static.files/storage-59e33391.js"></script><script defer src="sidebar-items.js"></script><script defer src="../../static.files/main-5f194d8c.js"></script><noscript><link rel="stylesheet" href="../../static.files/noscript-893ab5e7.css"></noscript><link rel="alternate icon" type="image/png" href="../../static.files/favicon-32x32-6580c154.png"><link rel="icon" type="image/svg+xml" href="../../static.files/favicon-044be391.svg"></head><body class="rustdoc trait"><!--[if lte IE 11]><div class="warning">This old browser is unsupported and will most likely display funky things.</div><![endif]--><nav class="mobile-topbar"><button class="sidebar-menu-toggle" title="show sidebar"></button></nav><nav class="sidebar"><div class="sidebar-crate"><h2><a href="../../flux_infer/index.html">flux_<wbr>infer</a><span class="version">0.1.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">Normalize<wbr>Ext</a></h2><h3><a href="#required-methods">Required Methods</a></h3><ul class="block"><li><a href="#tymethod.normalize_projections" title="normalize_projections">normalize_projections</a></li></ul><h3><a href="#dyn-compatibility">Dyn Compatibility</a></h3><h3><a href="#implementors">Implementors</a></h3></section><div id="rustdoc-modnav"><h2><a href="index.html">In flux_<wbr>infer::<wbr>projections</a></h2></div></div></nav><div class="sidebar-resizer"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><span class="rustdoc-breadcrumbs"><a href="../index.html">flux_infer</a>::<wbr><a href="index.html">projections</a></span><h1>Trait <span class="trait">NormalizeExt</span><button id="copy-path" title="Copy item path to clipboard">Copy item path</button></h1><rustdoc-toolbar></rustdoc-toolbar><span class="sub-heading"><a class="src" href="../../src/flux_infer/projections.rs.html#27-29">Source</a> </span></div><pre class="rust item-decl"><code>pub trait NormalizeExt: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a> {
// Required method
fn <a href="#tymethod.normalize_projections" class="fn">normalize_projections</a>&lt;'tcx&gt;(
fn <a href="#tymethod.normalize_projections" class="fn">normalize_projections</a>(
&amp;self,
infcx: &amp;mut <a class="struct" href="../infer/struct.InferCtxt.html" title="struct flux_infer::infer::InferCtxt">InferCtxt</a>&lt;'_, '_, '_&gt;,
) -&gt; <a class="type" href="../../flux_middle/queries/type.QueryResult.html" title="type flux_middle::queries::QueryResult">QueryResult</a>&lt;Self&gt;;
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.normalize_projections" class="method"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#28">Source</a><h4 class="code-header">fn <a href="#tymethod.normalize_projections" class="fn">normalize_projections</a>&lt;'tcx&gt;(
}</code></pre><h2 id="required-methods" class="section-header">Required Methods<a href="#required-methods" class="anchor">§</a></h2><div class="methods"><section id="tymethod.normalize_projections" class="method"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#28">Source</a><h4 class="code-header">fn <a href="#tymethod.normalize_projections" class="fn">normalize_projections</a>(
&amp;self,
infcx: &amp;mut <a class="struct" href="../infer/struct.InferCtxt.html" title="struct flux_infer::infer::InferCtxt">InferCtxt</a>&lt;'_, '_, '_&gt;,
) -&gt; <a class="type" href="../../flux_middle/queries/type.QueryResult.html" title="type flux_middle::queries::QueryResult">QueryResult</a>&lt;Self&gt;</h4></section></div><h2 id="dyn-compatibility" class="section-header">Dyn Compatibility<a href="#dyn-compatibility" class="anchor">§</a></h2><div class="dyn-compatibility-info"><p>This trait is <b>not</b> <a href="https://doc.rust-lang.org/nightly/reference/items/traits.html#object-safety">dyn compatible</a>.</p><p><i>In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.</i></p></div><h2 id="implementors" class="section-header">Implementors<a href="#implementors" class="anchor">§</a></h2><div id="implementors-list"><section id="impl-NormalizeExt-for-T" class="impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#31-36">Source</a><a href="#impl-NormalizeExt-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>&gt; <a class="trait" href="trait.NormalizeExt.html" title="trait flux_infer::projections::NormalizeExt">NormalizeExt</a> for T</h3></section></div><script src="../../trait.impl/flux_infer/projections/trait.NormalizeExt.js" async></script></section></div></main></body></html>
2 changes: 1 addition & 1 deletion doc/flux_refineck/type_env/place_ty/struct.PlacesTree.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@
if <code>into_left(&amp;self)</code> returns <code>true</code>.
Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-NormalizeExt-for-T" class="impl"><a class="src rightside" href="../../../src/flux_infer/projections.rs.html#31">Source</a><a href="#impl-NormalizeExt-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="../../../flux_infer/projections/trait.NormalizeExt.html" title="trait flux_infer::projections::NormalizeExt">NormalizeExt</a> for T<div class="where">where
T: <a class="trait" href="../../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../../src/flux_infer/projections.rs.html#32">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../../../flux_infer/projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>&lt;'tcx&gt;(
T: <a class="trait" href="../../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../../src/flux_infer/projections.rs.html#32">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../../../flux_infer/projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>(
&amp;self,
infcx: &amp;mut <a class="struct" href="../../../flux_infer/infer/struct.InferCtxt.html" title="struct flux_infer::infer::InferCtxt">InferCtxt</a>&lt;'_, '_, '_&gt;,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="enum" href="../../../flux_middle/queries/enum.QueryErr.html" title="enum flux_middle::queries::QueryErr">QueryErr</a>&gt;</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-ToOwned-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/nightly/src/alloc/borrow.rs.html#82-84">Source</a><a href="#impl-ToOwned-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/alloc/borrow/trait.ToOwned.html" title="trait alloc::borrow::ToOwned">ToOwned</a> for T<div class="where">where
Expand Down
2 changes: 1 addition & 1 deletion doc/flux_refineck/type_env/struct.BasicBlockEnvData.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@
if <code>into_left(&amp;self)</code> returns <code>true</code>.
Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Right" title="variant either::Either::Right"><code>Right</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either&lt;Self, Self&gt;</code></a>
otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-NormalizeExt-for-T" class="impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#31">Source</a><a href="#impl-NormalizeExt-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T&gt; <a class="trait" href="../../flux_infer/projections/trait.NormalizeExt.html" title="trait flux_infer::projections::NormalizeExt">NormalizeExt</a> for T<div class="where">where
T: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#32">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../../flux_infer/projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>&lt;'tcx&gt;(
T: <a class="trait" href="../../flux_middle/rty/fold/trait.TypeFoldable.html" title="trait flux_middle::rty::fold::TypeFoldable">TypeFoldable</a>,</div></h3></section></summary><div class="impl-items"><section id="method.normalize_projections" class="method trait-impl"><a class="src rightside" href="../../src/flux_infer/projections.rs.html#32">Source</a><a href="#method.normalize_projections" class="anchor">§</a><h4 class="code-header">fn <a href="../../flux_infer/projections/trait.NormalizeExt.html#tymethod.normalize_projections" class="fn">normalize_projections</a>(
&amp;self,
infcx: &amp;mut <a class="struct" href="../../flux_infer/infer/struct.InferCtxt.html" title="struct flux_infer::infer::InferCtxt">InferCtxt</a>&lt;'_, '_, '_&gt;,
) -&gt; <a class="enum" href="https://doc.rust-lang.org/nightly/core/result/enum.Result.html" title="enum core::result::Result">Result</a>&lt;T, <a class="enum" href="../../flux_middle/queries/enum.QueryErr.html" title="enum flux_middle::queries::QueryErr">QueryErr</a>&gt;</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryFrom%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/nightly/src/core/convert/mod.rs.html#805-807">Source</a><a href="#impl-TryFrom%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl&lt;T, U&gt; <a class="trait" href="https://doc.rust-lang.org/nightly/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a>&lt;U&gt; for T<div class="where">where
Expand Down
4 changes: 2 additions & 2 deletions doc/src/flux_fhir_analysis/conv/mod.rs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4391,8 +4391,8 @@
found: path.refine.len(),
kind: <span class="self">self</span>.tcx().def_descr(def_id),
};
<span class="prelude-val">Err</span>(<span class="self">self</span>.emit(err))<span class="question-mark">?
</span>}
<span class="prelude-val">Err</span>(<span class="self">self</span>.emit(err))<span class="question-mark">?</span>;
}
<span class="prelude-val">Ok</span>(())
}

Expand Down
4 changes: 2 additions & 2 deletions doc/src/flux_infer/projections.rs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -651,11 +651,11 @@
<span class="kw">use </span><span class="kw">crate</span>::infer::InferCtxt;

<span class="kw">pub trait </span>NormalizeExt: TypeFoldable {
<span class="kw">fn </span>normalize_projections&lt;<span class="lifetime">'tcx</span>&gt;(<span class="kw-2">&amp;</span><span class="self">self</span>, infcx: <span class="kw-2">&amp;mut </span>InferCtxt) -&gt; QueryResult&lt;<span class="self">Self</span>&gt;;
<span class="kw">fn </span>normalize_projections(<span class="kw-2">&amp;</span><span class="self">self</span>, infcx: <span class="kw-2">&amp;mut </span>InferCtxt) -&gt; QueryResult&lt;<span class="self">Self</span>&gt;;
}

<span class="kw">impl</span>&lt;T: TypeFoldable&gt; NormalizeExt <span class="kw">for </span>T {
<span class="kw">fn </span>normalize_projections&lt;<span class="lifetime">'tcx</span>&gt;(<span class="kw-2">&amp;</span><span class="self">self</span>, infcx: <span class="kw-2">&amp;mut </span>InferCtxt) -&gt; QueryResult&lt;<span class="self">Self</span>&gt; {
<span class="kw">fn </span>normalize_projections(<span class="kw-2">&amp;</span><span class="self">self</span>, infcx: <span class="kw-2">&amp;mut </span>InferCtxt) -&gt; QueryResult&lt;<span class="self">Self</span>&gt; {
<span class="kw">let </span><span class="kw-2">mut </span>normalizer = Normalizer::new(infcx.branch())<span class="question-mark">?</span>;
<span class="self">self</span>.erase_regions().try_fold_with(<span class="kw-2">&amp;mut </span>normalizer)
}
Expand Down
2 changes: 1 addition & 1 deletion doc/src/flux_refineck/compare_impl_item.rs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -274,7 +274,7 @@
.normalize_projections(infcx)<span class="question-mark">?</span>;

<span class="kw">if </span>impl_sort != trait_sort {
<span class="kw">return </span><span class="prelude-val">Err</span>(infcx
<span class="prelude-val">Err</span>(infcx
.genv
.emit(errors::IncompatibleSort::new(impl_span, name, trait_sort, impl_sort)))<span class="question-mark">?</span>;
}
Expand Down

0 comments on commit 2c3cd88

Please sign in to comment.