| <!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 `Interner` struct in crate `hir_ty`."><title>Interner in hir_ty - Rust</title><script>if(window.location.protocol!=="file:")document.head.insertAdjacentHTML("beforeend","SourceSerif4-Regular-6b053e98.ttf.woff2,FiraSans-Italic-81dc35de.woff2,FiraSans-Regular-0fe48ade.woff2,FiraSans-MediumItalic-ccf7e434.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-aa0817cf.css"><meta name="rustdoc-vars" data-root-path="../" data-static-root-path="../static.files/" data-current-crate="hir_ty" data-themes="" data-resource-suffix="" data-rustdoc-version="1.90.0 (1159e78c4 2025-09-14)" data-channel="1.90.0" data-search-js="search-fa3e91e5.js" data-settings-js="settings-5514c975.js" ><script src="../static.files/storage-68b7e25d.js"></script><script defer src="sidebar-items.js"></script><script defer src="../static.files/main-eebb9057.js"></script><noscript><link rel="stylesheet" href="../static.files/noscript-32bb7600.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 struct"><!--[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="../hir_ty/index.html">hir_ty</a><span class="version">0.0.0</span></h2></div><div class="sidebar-elems"><section id="rustdoc-toc"><h2 class="location"><a href="#">Interner</a></h2><h3><a href="#trait-implementations">Trait Implementations</a></h3><ul class="block trait-implementation"><li><a href="#impl-Clone-for-Interner" title="Clone">Clone</a></li><li><a href="#impl-Copy-for-Interner" title="Copy">Copy</a></li><li><a href="#impl-Debug-for-Interner" title="Debug">Debug</a></li><li><a href="#impl-Eq-for-Interner" title="Eq">Eq</a></li><li><a href="#impl-HasInterner-for-Interner" title="HasInterner">HasInterner</a></li><li><a href="#impl-Hash-for-Interner" title="Hash">Hash</a></li><li><a href="#impl-Interner-for-Interner" title="Interner">Interner</a></li><li><a href="#impl-Ord-for-Interner" title="Ord">Ord</a></li><li><a href="#impl-PartialEq-for-Interner" title="PartialEq">PartialEq</a></li><li><a href="#impl-PartialOrd-for-Interner" title="PartialOrd">PartialOrd</a></li><li><a href="#impl-StructuralPartialEq-for-Interner" title="StructuralPartialEq">StructuralPartialEq</a></li><li><a href="#impl-TypeFoldable%3CInterner%3E-for-CallableSig" title="TypeFoldable<Interner>">TypeFoldable<Interner></a></li><li><a href="#impl-UnificationDatabase%3CInterner%3E-for-%26dyn+HirDatabase" title="UnificationDatabase<Interner>">UnificationDatabase<Interner></a></li></ul><h3><a href="#synthetic-implementations">Auto Trait Implementations</a></h3><ul class="block synthetic-implementation"><li><a href="#impl-Freeze-for-Interner" title="Freeze">Freeze</a></li><li><a href="#impl-RefUnwindSafe-for-Interner" title="RefUnwindSafe">RefUnwindSafe</a></li><li><a href="#impl-Send-for-Interner" title="Send">Send</a></li><li><a href="#impl-Sync-for-Interner" title="Sync">Sync</a></li><li><a href="#impl-Unpin-for-Interner" title="Unpin">Unpin</a></li><li><a href="#impl-UnwindSafe-for-Interner" title="UnwindSafe">UnwindSafe</a></li></ul><h3><a href="#blanket-implementations">Blanket Implementations</a></h3><ul class="block blanket-implementation"><li><a href="#impl-Any-for-T" title="Any">Any</a></li><li><a href="#impl-Borrow%3CT%3E-for-T" title="Borrow<T>">Borrow<T></a></li><li><a href="#impl-BorrowMut%3CT%3E-for-T" title="BorrowMut<T>">BorrowMut<T></a></li><li><a href="#impl-Captures%3C'a%3E-for-T" title="Captures<'a>">Captures<'a></a></li><li><a href="#impl-Cast-for-T" title="Cast">Cast</a></li><li><a href="#impl-CloneToUninit-for-T" title="CloneToUninit">CloneToUninit</a></li><li><a href="#impl-CollectAndApply%3CT,+R%3E-for-T" title="CollectAndApply<T, R>">CollectAndApply<T, R></a></li><li><a href="#impl-Comparable%3CK%3E-for-Q" title="Comparable<K>">Comparable<K></a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-Equivalent%3CK%3E-for-Q-1" title="Equivalent<K>">Equivalent<K></a></li><li><a href="#impl-From%3CT%3E-for-T" title="From<T>">From<T></a></li><li><a href="#impl-Instrument-for-T" title="Instrument">Instrument</a></li><li><a href="#impl-Into%3CU%3E-for-T" title="Into<U>">Into<U></a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" title="IntoBox<dyn Any + Send>">IntoBox<dyn Any + Send></a></li><li><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" title="IntoBox<dyn Any + Sync + Send>">IntoBox<dyn Any + Sync + Send></a></li><li><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" title="IntoBox<dyn Any>">IntoBox<dyn Any></a></li><li><a href="#impl-IntoEither-for-T" title="IntoEither">IntoEither</a></li><li><a href="#impl-Pointable-for-T" title="Pointable">Pointable</a></li><li><a href="#impl-ToOwned-for-T" title="ToOwned">ToOwned</a></li><li><a href="#impl-TryFrom%3CU%3E-for-T" title="TryFrom<U>">TryFrom<U></a></li><li><a href="#impl-TryInto%3CU%3E-for-T" title="TryInto<U>">TryInto<U></a></li><li><a href="#impl-Upcast%3CI,+U%3E-for-T" title="Upcast<I, U>">Upcast<I, U></a></li><li><a href="#impl-UpcastFrom%3CI,+T%3E-for-T" title="UpcastFrom<I, T>">UpcastFrom<I, T></a></li><li><a href="#impl-WithSubscriber-for-T" title="WithSubscriber">WithSubscriber</a></li></ul></section><div id="rustdoc-modnav"><h2 class="in-crate"><a href="index.html">In crate hir_<wbr>ty</a></h2></div></div></nav><div class="sidebar-resizer" title="Drag to resize sidebar"></div><main><div class="width-limiter"><rustdoc-search></rustdoc-search><section id="main-content" class="content"><div class="main-heading"><div class="rustdoc-breadcrumbs"><a href="index.html">hir_ty</a></div><h1>Struct <span class="struct">Interner</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/hir_ty/interner.rs.html#26">Source</a> </span></div><pre class="rust item-decl"><code>pub struct Interner;</code></pre><h2 id="trait-implementations" class="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-Clone-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Clone-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.clone" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html#tymethod.clone" class="fn">clone</a>(&self) -> <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h4></section></summary><div class='docblock'>Returns a duplicate of the value. <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html#tymethod.clone">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_from" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/clone.rs.html#213-215">Source</a></span><a href="#method.clone_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html#method.clone_from" class="fn">clone_from</a>(&mut self, source: &Self)</h4></section></summary><div class='docblock'>Performs copy-assignment from <code>source</code>. <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html#method.clone_from">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Debug-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Debug-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/fmt/trait.Debug.html" title="trait core::fmt::Debug">Debug</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fmt" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.fmt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/fmt/trait.Debug.html#tymethod.fmt" class="fn">fmt</a>(&self, f: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a></h4></section></summary><div class='docblock'>Formats the value using the given formatter. <a href="https://doc.rust-lang.org/1.90.0/core/fmt/trait.Debug.html#tymethod.fmt">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-HasInterner-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#392-394">Source</a><a href="#impl-HasInterner-for-Interner" class="anchor">§</a><h3 class="code-header">impl HasInterner for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Interner" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#393">Source</a><a href="#associatedtype.Interner" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Interner</a> = <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h4></section></summary><div class='docblock'>The interner associated with the type.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Hash-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Hash-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hash.html" title="trait core::hash::Hash">Hash</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.hash" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.hash" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hash.html#tymethod.hash" class="fn">hash</a><__H: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hasher.html" title="trait core::hash::Hasher">Hasher</a>>(&self, state: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&mut __H</a>)</h4></section></summary><div class='docblock'>Feeds this value into the given <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hasher.html" title="trait core::hash::Hasher"><code>Hasher</code></a>. <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hash.html#tymethod.hash">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.hash_slice" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.3.0">1.3.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/hash/mod.rs.html#235-237">Source</a></span><a href="#method.hash_slice" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hash.html#method.hash_slice" class="fn">hash_slice</a><H>(data: &[Self], state: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&mut H</a>)<div class="where">where |
| H: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hasher.html" title="trait core::hash::Hasher">Hasher</a>, |
| Self: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><div class='docblock'>Feeds a slice of this type into the given <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hasher.html" title="trait core::hash::Hasher"><code>Hasher</code></a>. <a href="https://doc.rust-lang.org/1.90.0/core/hash/trait.Hash.html#method.hash_slice">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Interner-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#61-390">Source</a><a href="#impl-Interner-for-Interner" class="anchor">§</a><h3 class="code-header">impl Interner for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.InternedType" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#62">Source</a><a href="#associatedtype.InternedType" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedType</a> = Interned<InternedWrapper<TyData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>></h4></section></summary><div class='docblock'>“Interned” representation of types. In normal user code, |
| <code>Self::InternedType</code> is not referenced. Instead, we refer to |
| <code>Ty<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedLifetime" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#63">Source</a><a href="#associatedtype.InternedLifetime" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedLifetime</a> = Interned<InternedWrapper<LifetimeData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>></h4></section></summary><div class='docblock'>“Interned” representation of lifetimes. In normal user code, |
| <code>Self::InternedLifetime</code> is not referenced. Instead, we refer to |
| <code>Lifetime<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedConst" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#64">Source</a><a href="#associatedtype.InternedConst" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedConst</a> = Interned<InternedWrapper<ConstData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>></h4></section></summary><div class='docblock'>“Interned” representation of const expressions. In normal user code, |
| <code>Self::InternedConst</code> is not referenced. Instead, we refer to |
| <code>Const<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedConcreteConst" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#65">Source</a><a href="#associatedtype.InternedConcreteConst" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedConcreteConst</a> = <a class="enum" href="enum.ConstScalar.html" title="enum hir_ty::ConstScalar">ConstScalar</a></h4></section></summary><div class='docblock'>“Interned” representation of an evaluated const value. |
| <code>Self::InternedConcreteConst</code> is not referenced. Instead, |
| we refer to <code>ConcreteConst<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedGenericArg" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#66">Source</a><a href="#associatedtype.InternedGenericArg" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedGenericArg</a> = GenericArgData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>“Interned” representation of a “generic parameter”, which can |
| be either a type or a lifetime. In normal user code, |
| <code>Self::InternedGenericArg</code> is not referenced. Instead, we refer to |
| <code>GenericArg<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedGoal" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#70">Source</a><a href="#associatedtype.InternedGoal" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedGoal</a> = Arc<GoalData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>></h4></section></summary><div class='docblock'>“Interned” representation of a “goal”. In normal user code, |
| <code>Self::InternedGoal</code> is not referenced. Instead, we refer to |
| <code>Goal<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedGoals" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#71">Source</a><a href="#associatedtype.InternedGoals" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedGoals</a> = <a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><Goal<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of goals. In normal user code, |
| <code>Self::InternedGoals</code> is not referenced. Instead, we refer to |
| <code>Goals<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedSubstitution" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#72">Source</a><a href="#associatedtype.InternedSubstitution" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedSubstitution</a> = Interned<InternedWrapper<SmallVec<[GenericArg<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>; <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.array.html">2</a>]>>></h4></section></summary><div class='docblock'>“Interned” representation of a “substitution”. In normal user code, |
| <code>Self::InternedSubstitution</code> is not referenced. Instead, we refer to |
| <code>Substitution<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedProgramClauses" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#73">Source</a><a href="#associatedtype.InternedProgramClauses" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedProgramClauses</a> = Interned<InternedWrapper<<a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><[ProgramClause<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>]>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of program clauses. In normal user code, |
| <code>Self::InternedProgramClauses</code> is not referenced. Instead, we refer to |
| <code>ProgramClauses<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedProgramClause" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#74">Source</a><a href="#associatedtype.InternedProgramClause" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedProgramClause</a> = ProgramClauseData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>“Interned” representation of a “program clause”. In normal user code, |
| <code>Self::InternedProgramClause</code> is not referenced. Instead, we refer to |
| <code>ProgramClause<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedQuantifiedWhereClauses" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#75">Source</a><a href="#associatedtype.InternedQuantifiedWhereClauses" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedQuantifiedWhereClauses</a> = Interned<InternedWrapper<<a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><Binders<WhereClause<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of quantified where clauses. |
| In normal user code, <code>Self::InternedQuantifiedWhereClauses</code> is not referenced. |
| Instead, we refer to <code>QuantifiedWhereClauses<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedVariableKinds" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#76">Source</a><a href="#associatedtype.InternedVariableKinds" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedVariableKinds</a> = Interned<InternedWrapper<<a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><VariableKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of variable kinds. |
| In normal user code, <code>Self::InternedVariableKinds</code> is not referenced. |
| Instead, we refer to <code>VariableKinds<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedCanonicalVarKinds" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#77">Source</a><a href="#associatedtype.InternedCanonicalVarKinds" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedCanonicalVarKinds</a> = Interned<InternedWrapper<<a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><WithKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>, UniverseIndex>>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of variable kinds with universe index. |
| In normal user code, <code>Self::InternedCanonicalVarKinds</code> is not referenced. |
| Instead, we refer to <code>CanonicalVarKinds<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedConstraints" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#78">Source</a><a href="#associatedtype.InternedConstraints" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedConstraints</a> = <a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/vec/struct.Vec.html" title="struct alloc::vec::Vec">Vec</a><InEnvironment<Constraint<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>></h4></section></summary><div class='docblock'>“Interned” representation of a list of region constraints. |
| In normal user code, <code>Self::InternedConstraints</code> is not referenced. |
| Instead, we refer to <code>Constraints<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.InternedVariances" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#79">Source</a><a href="#associatedtype.InternedVariances" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedVariances</a> = SmallVec<[Variance; <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.array.html">16</a>]></h4></section></summary><div class='docblock'>“Interned” representation of a list of <code>chalk_ir::Variance</code>. |
| In normal user code, <code>Self::InternedVariances</code> is not referenced. |
| Instead, we refer to <code>Variances<Self></code>, which wraps this type. <a>Read more</a></div></details><details class="toggle" open><summary><section id="associatedtype.DefId" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#80">Source</a><a href="#associatedtype.DefId" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">DefId</a> = Id</h4></section></summary><div class='docblock'>The core “id” type used for trait-ids and the like.</div></details><details class="toggle" open><summary><section id="associatedtype.InternedAdtId" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#81">Source</a><a href="#associatedtype.InternedAdtId" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">InternedAdtId</a> = AdtId</h4></section></summary><div class='docblock'>The ID type for ADTs</div></details><details class="toggle" open><summary><section id="associatedtype.Identifier" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#82">Source</a><a href="#associatedtype.Identifier" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Identifier</a> = TypeAliasId</h4></section></summary><div class='docblock'>Representation of identifiers.</div></details><details class="toggle" open><summary><section id="associatedtype.FnAbi" class="associatedtype trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#83">Source</a><a href="#associatedtype.FnAbi" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">FnAbi</a> = <a class="enum" href="enum.FnAbi.html" title="enum hir_ty::FnAbi">FnAbi</a></h4></section></summary><div class='docblock'>Representation of function ABI (e.g. calling convention).</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_adt_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#85-90">Source</a><a href="#method.debug_adt_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_adt_id</a>( |
| type_kind_id: <a class="struct" href="struct.AdtId.html" title="struct hir_ty::AdtId">AdtId</a><<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a type-kind-id. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_trait_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#92-97">Source</a><a href="#method.debug_trait_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_trait_id</a>( |
| type_kind_id: TraitId<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a type-kind-id. |
| Returns <code>None</code> to fallback to the default debug output (e.g., |
| if no info about current program is available from TLS).</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_assoc_type_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#99-104">Source</a><a href="#method.debug_assoc_type_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_assoc_type_id</a>( |
| id: AssocTypeId<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a type-kind-id. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_opaque_ty_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#106-111">Source</a><a href="#method.debug_opaque_ty_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_opaque_ty_id</a>( |
| opaque_ty_id: <a class="type" href="type.OpaqueTyId.html" title="type hir_ty::OpaqueTyId">OpaqueTyId</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an opaque type. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_fn_def_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#113-115">Source</a><a href="#method.debug_fn_def_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_fn_def_id</a>( |
| fn_def_id: <a class="type" href="type.FnDefId.html" title="type hir_ty::FnDefId">FnDefId</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a function-def-id. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_closure_id" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#117-122">Source</a><a href="#method.debug_closure_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_closure_id</a>( |
| _fn_def_id: <a class="type" href="type.ClosureId.html" title="type hir_ty::ClosureId">ClosureId</a>, |
| _fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a closure id. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_alias" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#124-130">Source</a><a href="#method.debug_alias" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_alias</a>(alias: &<a class="type" href="type.AliasTy.html" title="type hir_ty::AliasTy">AliasTy</a>, fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an alias. To get good |
| results, this requires inspecting TLS, and is difficult to |
| code without reference to a specific interner (and hence |
| fully known types). <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.debug_projection_ty" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#132-138">Source</a><a href="#method.debug_projection_ty" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_projection_ty</a>( |
| proj: &<a class="type" href="type.ProjectionTy.html" title="type hir_ty::ProjectionTy">ProjectionTy</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a ProjectionTy. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_opaque_ty" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#140-142">Source</a><a href="#method.debug_opaque_ty" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_opaque_ty</a>( |
| opaque_ty: &OpaqueTy<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an OpaqueTy. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_ty" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#144-146">Source</a><a href="#method.debug_ty" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_ty</a>(ty: &<a class="type" href="type.Ty.html" title="type hir_ty::Ty">Ty</a>, fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a type. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_lifetime" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#148-150">Source</a><a href="#method.debug_lifetime" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_lifetime</a>( |
| lifetime: &Lifetime<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a lifetime. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_const" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#152-154">Source</a><a href="#method.debug_const" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_const</a>(constant: &<a class="type" href="type.Const.html" title="type hir_ty::Const">Const</a>, fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a const. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_generic_arg" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#156-161">Source</a><a href="#method.debug_generic_arg" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_generic_arg</a>( |
| parameter: &<a class="type" href="type.GenericArg.html" title="type hir_ty::GenericArg">GenericArg</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an parameter. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_variable_kinds" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#163-168">Source</a><a href="#method.debug_variable_kinds" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_variable_kinds</a>( |
| variable_kinds: &VariableKinds<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a parameter kinds list. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_variable_kinds_with_angles" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#170-175">Source</a><a href="#method.debug_variable_kinds_with_angles" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_variable_kinds_with_angles</a>( |
| variable_kinds: &VariableKinds<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a parameter kinds list, with angle brackets. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_canonical_var_kinds" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#177-182">Source</a><a href="#method.debug_canonical_var_kinds" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_canonical_var_kinds</a>( |
| canonical_var_kinds: &<a class="type" href="type.CanonicalVarKinds.html" title="type hir_ty::CanonicalVarKinds">CanonicalVarKinds</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an parameter kinds list with universe index. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_goal" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#183-186">Source</a><a href="#method.debug_goal" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_goal</a>(goal: &Goal<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of an goal. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_goals" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#187-189">Source</a><a href="#method.debug_goals" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_goals</a>( |
| goals: &Goals<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a list of goals. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_program_clause_implication" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#190-195">Source</a><a href="#method.debug_program_clause_implication" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_program_clause_implication</a>( |
| pci: &ProgramClauseImplication<Self>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a ProgramClauseImplication. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_program_clause" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#196-201">Source</a><a href="#method.debug_program_clause" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_program_clause</a>( |
| clause: &ProgramClause<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a ProgramClause. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_program_clauses" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#202-207">Source</a><a href="#method.debug_program_clauses" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_program_clauses</a>( |
| clauses: &ProgramClauses<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a ProgramClauses. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_substitution" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#208-213">Source</a><a href="#method.debug_substitution" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_substitution</a>( |
| substitution: &<a class="type" href="type.Substitution.html" title="type hir_ty::Substitution">Substitution</a>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a Substitution. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_separator_trait_ref" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#214-219">Source</a><a href="#method.debug_separator_trait_ref" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_separator_trait_ref</a>( |
| separator_trait_ref: &SeparatorTraitRef<'_, <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a SeparatorTraitRef. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_quantified_where_clauses" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#221-226">Source</a><a href="#method.debug_quantified_where_clauses" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_quantified_where_clauses</a>( |
| clauses: &QuantifiedWhereClauses<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a QuantifiedWhereClauses. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_constraints" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#228-233">Source</a><a href="#method.debug_constraints" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_constraints</a>( |
| _clauses: &Constraints<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| _fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="type" href="https://doc.rust-lang.org/1.90.0/core/fmt/type.Result.html" title="type core::fmt::Result">Result</a>></h4></section></summary><div class='docblock'>Prints the debug representation of a Constraints. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_ty" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#235-238">Source</a><a href="#method.intern_ty" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_ty</a>(self, kind: <a class="type" href="type.TyKind.html" title="type hir_ty::TyKind">TyKind</a>) -> Self::InternedType</h4></section></summary><div class='docblock'>Create an “interned” type from <code>ty</code>. This is not normally |
| invoked directly; instead, you invoke <code>TyKind::intern</code> (which |
| will ultimately call this method).</div></details><details class="toggle method-toggle" open><summary><section id="method.ty_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#240-242">Source</a><a href="#method.ty_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">ty_data</a>(self, ty: &Self::InternedType) -> &TyData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Lookup the <code>TyKind</code> from an interned type.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_lifetime" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#244-246">Source</a><a href="#method.intern_lifetime" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_lifetime</a>( |
| self, |
| lifetime: LifetimeData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| ) -> Self::InternedLifetime</h4></section></summary><div class='docblock'>Create an “interned” lifetime from <code>lifetime</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>LifetimeData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.lifetime_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#248-250">Source</a><a href="#method.lifetime_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">lifetime_data</a>( |
| self, |
| lifetime: &Self::InternedLifetime, |
| ) -> &LifetimeData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Lookup the <code>LifetimeData</code> that was interned to create a <code>InternedLifetime</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_const" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#252-254">Source</a><a href="#method.intern_const" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_const</a>(self, constant: ConstData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>) -> Self::InternedConst</h4></section></summary><div class='docblock'>Create an “interned” const from <code>const</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>ConstData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.const_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#256-258">Source</a><a href="#method.const_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">const_data</a>(self, constant: &Self::InternedConst) -> &ConstData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Lookup the <code>ConstData</code> that was interned to create a <code>InternedConst</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.const_eq" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#260-267">Source</a><a href="#method.const_eq" class="anchor">§</a><h4 class="code-header">fn <a class="fn">const_eq</a>( |
| self, |
| _ty: &Self::InternedType, |
| c1: &Self::InternedConcreteConst, |
| c2: &Self::InternedConcreteConst, |
| ) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Determine whether two concrete const values are equal.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_generic_arg" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#269-271">Source</a><a href="#method.intern_generic_arg" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_generic_arg</a>( |
| self, |
| parameter: <a class="type" href="type.GenericArgData.html" title="type hir_ty::GenericArgData">GenericArgData</a>, |
| ) -> Self::InternedGenericArg</h4></section></summary><div class='docblock'>Create an “interned” parameter from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>GenericArgData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.generic_arg_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#273-275">Source</a><a href="#method.generic_arg_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">generic_arg_data</a>( |
| self, |
| parameter: &Self::InternedGenericArg, |
| ) -> &<a class="type" href="type.GenericArgData.html" title="type hir_ty::GenericArgData">GenericArgData</a></h4></section></summary><div class='docblock'>Lookup the <code>LifetimeData</code> that was interned to create a <code>InternedLifetime</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_goal" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#277-279">Source</a><a href="#method.intern_goal" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_goal</a>(self, goal: GoalData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>) -> Self::InternedGoal</h4></section></summary><div class='docblock'>Create an “interned” goal from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>GoalData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.goal_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#281-283">Source</a><a href="#method.goal_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">goal_data</a>(self, goal: &Self::InternedGoal) -> &GoalData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Lookup the <code>GoalData</code> that was interned to create a <code>InternedGoal</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_goals" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#285-293">Source</a><a href="#method.intern_goals" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_goals</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Goal<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedGoals, E></h4></section></summary><div class='docblock'>Create an “interned” goals from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>GoalsData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.goals_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#295-297">Source</a><a href="#method.goals_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">goals_data</a>(self, goals: &Self::InternedGoals) -> &[Goal<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>]</h4></section></summary><div class='docblock'>Lookup the <code>GoalsData</code> that was interned to create a <code>InternedGoals</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_substitution" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#299-304">Source</a><a href="#method.intern_substitution" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_substitution</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="type" href="type.GenericArg.html" title="type hir_ty::GenericArg">GenericArg</a>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedSubstitution, E></h4></section></summary><div class='docblock'>Create an “interned” substitution from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>SubstitutionData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.substitution_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#306-308">Source</a><a href="#method.substitution_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">substitution_data</a>( |
| self, |
| substitution: &Self::InternedSubstitution, |
| ) -> &[<a class="type" href="type.GenericArg.html" title="type hir_ty::GenericArg">GenericArg</a>] <a href="#" class="tooltip" data-notable-ty="&[GenericArg]">ⓘ</a></h4></section></summary><div class='docblock'>Lookup the <code>SubstitutionData</code> that was interned to create a <code>InternedSubstitution</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_program_clause" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#310-312">Source</a><a href="#method.intern_program_clause" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_program_clause</a>( |
| self, |
| data: ProgramClauseData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, |
| ) -> Self::InternedProgramClause</h4></section></summary><div class='docblock'>Create an “interned” program clause from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>ProgramClauseData::intern</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.program_clause_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#314-316">Source</a><a href="#method.program_clause_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">program_clause_data</a>( |
| self, |
| clause: &Self::InternedProgramClause, |
| ) -> &ProgramClauseData<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Lookup the <code>ProgramClauseData</code> that was interned to create a <code>ProgramClause</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_program_clauses" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#318-323">Source</a><a href="#method.intern_program_clauses" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_program_clauses</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><ProgramClause<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedProgramClauses, E></h4></section></summary><div class='docblock'>Create an “interned” program clauses from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>ProgramClauses::from_iter</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.program_clauses_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#325-327">Source</a><a href="#method.program_clauses_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">program_clauses_data</a>( |
| self, |
| clauses: &Self::InternedProgramClauses, |
| ) -> &[ProgramClause<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>]</h4></section></summary><div class='docblock'>Lookup the <code>ProgramClauseData</code> that was interned to create a <code>ProgramClause</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_quantified_where_clauses" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#329-334">Source</a><a href="#method.intern_quantified_where_clauses" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_quantified_where_clauses</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="type" href="type.QuantifiedWhereClause.html" title="type hir_ty::QuantifiedWhereClause">QuantifiedWhereClause</a>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedQuantifiedWhereClauses, E></h4></section></summary><div class='docblock'>Create an “interned” quantified where clauses from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>QuantifiedWhereClauses::from_iter</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.quantified_where_clauses_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#336-341">Source</a><a href="#method.quantified_where_clauses_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">quantified_where_clauses_data</a>( |
| self, |
| clauses: &Self::InternedQuantifiedWhereClauses, |
| ) -> &[<a class="type" href="type.QuantifiedWhereClause.html" title="type hir_ty::QuantifiedWhereClause">QuantifiedWhereClause</a>] <a href="#" class="tooltip" data-notable-ty="&[QuantifiedWhereClause]">ⓘ</a></h4></section></summary><div class='docblock'>Lookup the slice of <code>QuantifiedWhereClause</code> that was interned to |
| create a <code>QuantifiedWhereClauses</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_generic_arg_kinds" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#343-348">Source</a><a href="#method.intern_generic_arg_kinds" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_generic_arg_kinds</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><VariableKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedVariableKinds, E></h4></section></summary><div class='docblock'>Create an “interned” parameter kinds from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>VariableKinds::from_iter</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.variable_kinds_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#350-352">Source</a><a href="#method.variable_kinds_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">variable_kinds_data</a>( |
| self, |
| parameter_kinds: &Self::InternedVariableKinds, |
| ) -> &[VariableKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>]</h4></section></summary><div class='docblock'>Lookup the slice of <code>VariableKinds</code> that was interned to |
| create a <code>VariableKinds</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_canonical_var_kinds" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#354-359">Source</a><a href="#method.intern_canonical_var_kinds" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_canonical_var_kinds</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><CanonicalVarKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedCanonicalVarKinds, E></h4></section></summary><div class='docblock'>Create “interned” variable kinds with universe index from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>CanonicalVarKinds::from_iter</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.canonical_var_kinds_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#361-366">Source</a><a href="#method.canonical_var_kinds_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">canonical_var_kinds_data</a>( |
| self, |
| canonical_var_kinds: &Self::InternedCanonicalVarKinds, |
| ) -> &[CanonicalVarKind<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>] <a href="#" class="tooltip" data-notable-ty="&[CanonicalVarKind<Interner>]">ⓘ</a></h4></section></summary><div class='docblock'>Lookup the slice of <code>CanonicalVariableKind</code> that was interned to |
| create a <code>CanonicalVariableKinds</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_constraints" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#367-372">Source</a><a href="#method.intern_constraints" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_constraints</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="type" href="type.InEnvironment.html" title="type hir_ty::InEnvironment">InEnvironment</a><Constraint<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedConstraints, E></h4></section></summary><div class='docblock'>Create “interned” constraints from <code>data</code>. This is not |
| normally invoked dirctly; instead, you invoke |
| <code>Constraints::from_iter</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.constraints_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#373-378">Source</a><a href="#method.constraints_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">constraints_data</a>( |
| self, |
| constraints: &Self::InternedConstraints, |
| ) -> &[<a class="type" href="type.InEnvironment.html" title="type hir_ty::InEnvironment">InEnvironment</a><Constraint<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>>] <a href="#" class="tooltip" data-notable-ty="&[InEnvironment<Constraint<Interner>>]">ⓘ</a></h4></section></summary><div class='docblock'>Lookup the slice of <code>Constraint</code> that was interned to |
| create a <code>Constraints</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.intern_variances" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#380-385">Source</a><a href="#method.intern_variances" class="anchor">§</a><h4 class="code-header">fn <a class="fn">intern_variances</a><E>( |
| self, |
| data: impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/collect/trait.IntoIterator.html" title="trait core::iter::traits::collect::IntoIterator">IntoIterator</a><Item = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Variance, E>>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self::InternedVariances, E></h4></section></summary><div class='docblock'>Create “interned” variances from <code>data</code>. This is not |
| normally invoked directly; instead, you invoke |
| <code>Variances::from</code> (which will ultimately call this |
| method).</div></details><details class="toggle method-toggle" open><summary><section id="method.variances_data" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#387-389">Source</a><a href="#method.variances_data" class="anchor">§</a><h4 class="code-header">fn <a class="fn">variances_data</a>(self, variances: &Self::InternedVariances) -> &[Variance]</h4></section></summary><div class='docblock'>Lookup the slice of <code>Variance</code> that was interned to |
| create a <code>Variances</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_foreign_def_id" class="method trait-impl"><a href="#method.debug_foreign_def_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_foreign_def_id</a>( |
| foreign_def_id: ForeignDefId<Self>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.unit.html">()</a>, <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>>></h4></section></summary><div class='docblock'>Prints the debug representation of a foreign-def-id. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_coroutine_id" class="method trait-impl"><a href="#method.debug_coroutine_id" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_coroutine_id</a>( |
| coroutine_id: CoroutineId<Self>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.unit.html">()</a>, <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>>></h4></section></summary><div class='docblock'>Prints the debug representation of an alias. |
| Returns <code>None</code> to fallback to the default debug output.</div></details><details class="toggle method-toggle" open><summary><section id="method.debug_variances" class="method trait-impl"><a href="#method.debug_variances" class="anchor">§</a><h4 class="code-header">fn <a class="fn">debug_variances</a>( |
| variances: &Variances<Self>, |
| fmt: &mut <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Formatter.html" title="struct core::fmt::Formatter">Formatter</a><'_>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><<a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.unit.html">()</a>, <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/fmt/struct.Error.html" title="struct core::fmt::Error">Error</a>>></h4></section></summary><div class='docblock'>Prints the debug representation of a Variances. |
| Returns <code>None</code> to fallback to the default debug output.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-Ord-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Ord-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html" title="trait core::cmp::Ord">Ord</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.cmp" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.cmp" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#tymethod.cmp" class="fn">cmp</a>(&self, other: &<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/cmp/enum.Ordering.html" title="enum core::cmp::Ordering">Ordering</a></h4></section></summary><div class='docblock'>This method returns an <a href="https://doc.rust-lang.org/1.90.0/core/cmp/enum.Ordering.html" title="enum core::cmp::Ordering"><code>Ordering</code></a> between <code>self</code> and <code>other</code>. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#tymethod.cmp">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.max" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.21.0">1.21.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1013-1015">Source</a></span><a href="#method.max" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.max" class="fn">max</a>(self, other: Self) -> Self<div class="where">where |
| Self: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><div class='docblock'>Compares and returns the maximum of two values. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.max">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.min" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.21.0">1.21.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1052-1054">Source</a></span><a href="#method.min" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.min" class="fn">min</a>(self, other: Self) -> Self<div class="where">where |
| Self: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><div class='docblock'>Compares and returns the minimum of two values. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.min">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clamp" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.50.0">1.50.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1078-1080">Source</a></span><a href="#method.clamp" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.clamp" class="fn">clamp</a>(self, min: Self, max: Self) -> Self<div class="where">where |
| Self: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h4></section></summary><div class='docblock'>Restrict a value to a certain interval. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html#method.clamp">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-PartialEq-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-PartialEq-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialEq.html" title="trait core::cmp::PartialEq">PartialEq</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.eq" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.eq" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialEq.html#tymethod.eq" class="fn">eq</a>(&self, other: &<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests for <code>self</code> and <code>other</code> values to be equal, and is used by <code>==</code>.</div></details><details class="toggle method-toggle" open><summary><section id="method.ne" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#265">Source</a></span><a href="#method.ne" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialEq.html#method.ne" class="fn">ne</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests for <code>!=</code>. The default implementation is almost always sufficient, |
| and should not be overridden without very good reason.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-PartialOrd-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-PartialOrd-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html" title="trait core::cmp::PartialOrd">PartialOrd</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.partial_cmp" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#method.partial_cmp" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#tymethod.partial_cmp" class="fn">partial_cmp</a>(&self, other: &<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/option/enum.Option.html" title="enum core::option::Option">Option</a><<a class="enum" href="https://doc.rust-lang.org/1.90.0/core/cmp/enum.Ordering.html" title="enum core::cmp::Ordering">Ordering</a>></h4></section></summary><div class='docblock'>This method returns an ordering between <code>self</code> and <code>other</code> values if one exists. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#tymethod.partial_cmp">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.lt" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1387">Source</a></span><a href="#method.lt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.lt" class="fn">lt</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests less than (for <code>self</code> and <code>other</code>) and is used by the <code><</code> operator. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.lt">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.le" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1405">Source</a></span><a href="#method.le" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.le" class="fn">le</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests less than or equal to (for <code>self</code> and <code>other</code>) and is used by the |
| <code><=</code> operator. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.le">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.gt" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1423">Source</a></span><a href="#method.gt" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.gt" class="fn">gt</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests greater than (for <code>self</code> and <code>other</code>) and is used by the <code>></code> |
| operator. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.gt">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.ge" class="method trait-impl"><span class="rightside"><span class="since" title="Stable since Rust version 1.0.0">1.0.0</span> · <a class="src" href="https://doc.rust-lang.org/1.90.0/src/core/cmp.rs.html#1441">Source</a></span><a href="#method.ge" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.ge" class="fn">ge</a>(&self, other: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&Rhs</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Tests greater than or equal to (for <code>self</code> and <code>other</code>) and is used by |
| the <code>>=</code> operator. <a href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.PartialOrd.html#method.ge">Read more</a></div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-TypeFoldable%3CInterner%3E-for-CallableSig" class="impl"><a class="src rightside" href="../src/hir_ty/lib.rs.html#649-664">Source</a><a href="#impl-TypeFoldable%3CInterner%3E-for-CallableSig" class="anchor">§</a><h3 class="code-header">impl TypeFoldable<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>> for <a class="struct" href="struct.CallableSig.html" title="struct hir_ty::CallableSig">CallableSig</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.try_fold_with" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/lib.rs.html#650-663">Source</a><a href="#method.try_fold_with" class="anchor">§</a><h4 class="code-header">fn <a class="fn">try_fold_with</a><E>( |
| self, |
| folder: &mut dyn FallibleTypeFolder<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>, Error = E>, |
| outer_binder: <a class="struct" href="struct.DebruijnIndex.html" title="struct hir_ty::DebruijnIndex">DebruijnIndex</a>, |
| ) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><Self, E></h4></section></summary><div class='docblock'>Apply the given folder <code>folder</code> to <code>self</code>; <code>binders</code> is the |
| number of binders that are in scope when beginning the |
| folder. Typically <code>binders</code> starts as 0, but is adjusted when |
| we encounter <code>Binders<T></code> in the IR or other similar |
| constructs.</div></details><details class="toggle method-toggle" open><summary><section id="method.fold_with" class="method trait-impl"><a href="#method.fold_with" class="anchor">§</a><h4 class="code-header">fn <a class="fn">fold_with</a>( |
| self, |
| folder: &mut dyn TypeFolder<I, Error = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/convert/enum.Infallible.html" title="enum core::convert::Infallible">Infallible</a>>, |
| outer_binder: <a class="struct" href="struct.DebruijnIndex.html" title="struct hir_ty::DebruijnIndex">DebruijnIndex</a>, |
| ) -> Self</h4></section></summary><div class='docblock'>A convenient alternative to <code>try_fold_with</code> for use with infallible |
| folders. Do not override this method, to ensure coherence with |
| <code>try_fold_with</code>.</div></details></div></details><details class="toggle implementors-toggle" open><summary><section id="impl-UnificationDatabase%3CInterner%3E-for-%26dyn+HirDatabase" class="impl"><a class="src rightside" href="../src/hir_ty/chalk_db.rs.html#13-24">Source</a><a href="#impl-UnificationDatabase%3CInterner%3E-for-%26dyn+HirDatabase" class="anchor">§</a><h3 class="code-header">impl UnificationDatabase<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>> for &dyn <a class="trait" href="db/trait.HirDatabase.html" title="trait hir_ty::db::HirDatabase">HirDatabase</a></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.fn_def_variance" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/chalk_db.rs.html#14-19">Source</a><a href="#method.fn_def_variance" class="anchor">§</a><h4 class="code-header">fn <a class="fn">fn_def_variance</a>(&self, fn_def_id: FnDefId<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>) -> Variances<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Gets the variances for the substitution of a fn def</div></details><details class="toggle method-toggle" open><summary><section id="method.adt_variance" class="method trait-impl"><a class="src rightside" href="../src/hir_ty/chalk_db.rs.html#21-23">Source</a><a href="#method.adt_variance" class="anchor">§</a><h4 class="code-header">fn <a class="fn">adt_variance</a>(&self, adt_id: <a class="struct" href="struct.AdtId.html" title="struct hir_ty::AdtId">AdtId</a><<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>>) -> Variances<<a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a>></h4></section></summary><div class='docblock'>Gets the variances for the substitution of a adt</div></details></div></details><section id="impl-Copy-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Copy-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Copy.html" title="trait core::marker::Copy">Copy</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-Eq-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-Eq-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-StructuralPartialEq-for-Interner" class="impl"><a class="src rightside" href="../src/hir_ty/interner.rs.html#25">Source</a><a href="#impl-StructuralPartialEq-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.StructuralPartialEq.html" title="trait core::marker::StructuralPartialEq">StructuralPartialEq</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></div><h2 id="synthetic-implementations" class="section-header">Auto Trait Implementations<a href="#synthetic-implementations" class="anchor">§</a></h2><div id="synthetic-implementations-list"><section id="impl-Freeze-for-Interner" class="impl"><a href="#impl-Freeze-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Freeze.html" title="trait core::marker::Freeze">Freeze</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-RefUnwindSafe-for-Interner" class="impl"><a href="#impl-RefUnwindSafe-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/panic/unwind_safe/trait.RefUnwindSafe.html" title="trait core::panic::unwind_safe::RefUnwindSafe">RefUnwindSafe</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-Send-for-Interner" class="impl"><a href="#impl-Send-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-Sync-for-Interner" class="impl"><a href="#impl-Sync-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-Unpin-for-Interner" class="impl"><a href="#impl-Unpin-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Unpin.html" title="trait core::marker::Unpin">Unpin</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section><section id="impl-UnwindSafe-for-Interner" class="impl"><a href="#impl-UnwindSafe-for-Interner" class="anchor">§</a><h3 class="code-header">impl <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/panic/unwind_safe/trait.UnwindSafe.html" title="trait core::panic::unwind_safe::UnwindSafe">UnwindSafe</a> for <a class="struct" href="struct.Interner.html" title="struct hir_ty::Interner">Interner</a></h3></section></div><h2 id="blanket-implementations" class="section-header">Blanket Implementations<a href="#blanket-implementations" class="anchor">§</a></h2><div id="blanket-implementations-list"><details class="toggle implementors-toggle"><summary><section id="impl-Any-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/any.rs.html#138">Source</a><a href="#impl-Any-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> for T<div class="where">where |
| T: 'static + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.type_id" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/any.rs.html#139">Source</a><a href="#method.type_id" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html#tymethod.type_id" class="fn">type_id</a>(&self) -> <a class="struct" href="https://doc.rust-lang.org/1.90.0/core/any/struct.TypeId.html" title="struct core::any::TypeId">TypeId</a></h4></section></summary><div class='docblock'>Gets the <code>TypeId</code> of <code>self</code>. <a href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html#tymethod.type_id">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Borrow%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/borrow.rs.html#209">Source</a><a href="#impl-Borrow%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><T> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/borrow.rs.html#211">Source</a><a href="#method.borrow" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html#tymethod.borrow" class="fn">borrow</a>(&self) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&T</a></h4></section></summary><div class='docblock'>Immutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html#tymethod.borrow">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-BorrowMut%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/borrow.rs.html#217">Source</a><a href="#impl-BorrowMut%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.BorrowMut.html" title="trait core::borrow::BorrowMut">BorrowMut</a><T> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.borrow_mut" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/borrow.rs.html#218">Source</a><a href="#method.borrow_mut" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut" class="fn">borrow_mut</a>(&mut self) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&mut T</a></h4></section></summary><div class='docblock'>Mutably borrows from an owned value. <a href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.BorrowMut.html#tymethod.borrow_mut">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Cast-for-T" class="impl"><a href="#impl-Cast-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="trait.Cast.html" title="trait hir_ty::Cast">Cast</a> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.cast" class="method trait-impl"><a href="#method.cast" class="anchor">§</a><h4 class="code-header">fn <a href="trait.Cast.html#method.cast" class="fn">cast</a><U>(self, interner: <U as HasInterner>::Interner) -> U<div class="where">where |
| Self: CastTo<U>, |
| U: HasInterner,</div></h4></section></summary><div class='docblock'>Cast a value to type <code>U</code> using <code>CastTo</code>.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-CloneToUninit-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/clone.rs.html#483">Source</a><a href="#impl-CloneToUninit-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/clone/trait.CloneToUninit.html" title="trait core::clone::CloneToUninit">CloneToUninit</a> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.clone_to_uninit" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/clone.rs.html#485">Source</a><a href="#method.clone_to_uninit" class="anchor">§</a><h4 class="code-header">unsafe fn <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.CloneToUninit.html#tymethod.clone_to_uninit" class="fn">clone_to_uninit</a>(&self, dest: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.pointer.html">*mut </a><a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.u8.html">u8</a>)</h4></section></summary><span class="item-info"><div class="stab unstable"><span class="emoji">🔬</span><span>This is a nightly-only experimental API. (<code>clone_to_uninit</code>)</span></div></span><div class='docblock'>Performs copy-assignment from <code>self</code> to <code>dest</code>. <a href="https://doc.rust-lang.org/1.90.0/core/clone/trait.CloneToUninit.html#tymethod.clone_to_uninit">Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-CollectAndApply%3CT,+R%3E-for-T" class="impl"><a href="#impl-CollectAndApply%3CT,+R%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, R> CollectAndApply<T, R> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.collect_and_apply" class="method trait-impl"><a href="#method.collect_and_apply" class="anchor">§</a><h4 class="code-header">fn <a class="fn">collect_and_apply</a><I, F>(iter: I, f: F) -> R<div class="where">where |
| I: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html" title="trait core::iter::traits::iterator::Iterator">Iterator</a><Item = T>, |
| F: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&<a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.slice.html">[T]</a>) -> R,</div></h4></section></summary><div class="docblock"><p>Equivalent to <code>f(&iter.collect::<Vec<_>>())</code>.</p> |
| </div></details><section id="associatedtype.Output" class="associatedtype trait-impl"><a href="#associatedtype.Output" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Output</a> = R</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Comparable%3CK%3E-for-Q" class="impl"><a href="#impl-Comparable%3CK%3E-for-Q" class="anchor">§</a><h3 class="code-header">impl<Q, K> Comparable<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Ord.html" title="trait core::cmp::Ord">Ord</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.compare" class="method trait-impl"><a href="#method.compare" class="anchor">§</a><h4 class="code-header">fn <a class="fn">compare</a>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&K</a>) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/cmp/enum.Ordering.html" title="enum core::cmp::Ordering">Ordering</a></h4></section></summary><div class='docblock'>Compare self to <code>key</code> and return their ordering.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Equivalent%3CK%3E-for-Q" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q" class="anchor">§</a><h3 class="code-header">impl<Q, K> Equivalent<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.equivalent" class="method trait-impl"><a href="#method.equivalent" class="anchor">§</a><h4 class="code-header">fn <a class="fn">equivalent</a>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&K</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Compare self to <code>key</code> and return <code>true</code> if they are equal.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Equivalent%3CK%3E-for-Q-1" class="impl"><a href="#impl-Equivalent%3CK%3E-for-Q-1" class="anchor">§</a><h3 class="code-header">impl<Q, K> Equivalent<K> for Q<div class="where">where |
| Q: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/cmp/trait.Eq.html" title="trait core::cmp::Eq">Eq</a> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>, |
| K: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/borrow/trait.Borrow.html" title="trait core::borrow::Borrow">Borrow</a><Q> + ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.equivalent-1" class="method trait-impl"><a href="#method.equivalent-1" class="anchor">§</a><h4 class="code-header">fn <a class="fn">equivalent</a>(&self, key: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&K</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a></h4></section></summary><div class='docblock'>Checks if this value is equivalent to the given key. <a>Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-From%3CT%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#791">Source</a><a href="#impl-From%3CT%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#794">Source</a><a href="#method.from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.From.html#tymethod.from" class="fn">from</a>(t: T) -> T</h4></section></summary><div class="docblock"><p>Returns the argument unchanged.</p> |
| </div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Instrument-for-T" class="impl"><a href="#impl-Instrument-for-T" class="anchor">§</a><h3 class="code-header">impl<T> Instrument for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.instrument" class="method trait-impl"><a href="#method.instrument" class="anchor">§</a><h4 class="code-header">fn <a class="fn">instrument</a>(self, span: Span) -> Instrumented<Self></h4></section></summary><div class='docblock'>Instruments this type with the provided [<code>Span</code>], returning an |
| <code>Instrumented</code> wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.in_current_span" class="method trait-impl"><a href="#method.in_current_span" class="anchor">§</a><h4 class="code-header">fn <a class="fn">in_current_span</a>(self) -> Instrumented<Self></h4></section></summary><div class='docblock'>Instruments this type with the <a href="super::Span::current()">current</a> <a href="crate::Span"><code>Span</code></a>, returning an |
| <code>Instrumented</code> wrapper. <a>Read more</a></div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Into%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#773-775">Source</a><a href="#impl-Into%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#783">Source</a><a href="#method.into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.Into.html#tymethod.into" class="fn">into</a>(self) -> U</h4></section></summary><div class="docblock"><p>Calls <code>U::from(self)</code>.</p> |
| <p>That is, this conversion is whatever the implementation of |
| <code><a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.From.html" title="trait core::convert::From">From</a><T> for U</code> chooses to do.</p> |
| </div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box" class="method trait-impl"><a href="#method.into_box" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box-1" class="method trait-impl"><a href="#method.into_box-1" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" class="impl"><a href="#impl-IntoBox%3Cdyn+Any+%2B+Send+%2B+Sync%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T> IntoBox<dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_box-2" class="method trait-impl"><a href="#method.into_box-2" class="anchor">§</a><h4 class="code-header">fn <a class="fn">into_box</a>(self) -> <a class="struct" href="https://doc.rust-lang.org/1.90.0/alloc/boxed/struct.Box.html" title="struct alloc::boxed::Box">Box</a><dyn <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/any/trait.Any.html" title="trait core::any::Any">Any</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sync.html" title="trait core::marker::Sync">Sync</a> + <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Send.html" title="trait core::marker::Send">Send</a>></h4></section></summary><div class='docblock'>Convert self into the appropriate boxed form.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-IntoEither-for-T" class="impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#64">Source</a><a href="#impl-IntoEither-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html" title="trait either::into_either::IntoEither">IntoEither</a> for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.into_either" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#29">Source</a><a href="#method.into_either" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either" class="fn">into_either</a>(self, into_left: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a>) -> <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><Self, Self> <a href="#" class="tooltip" data-notable-ty="Either<Self, Self>">ⓘ</a></h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| if <code>into_left</code> is <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<Self, Self></code></a> |
| otherwise. <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.into_either_with" class="method trait-impl"><a class="src rightside" href="https://docs.rs/either/1/src/either/into_either.rs.html#55-57">Source</a><a href="#method.into_either_with" class="anchor">§</a><h4 class="code-header">fn <a href="https://docs.rs/either/1/either/into_either/trait.IntoEither.html#method.into_either_with" class="fn">into_either_with</a><F>(self, into_left: F) -> <a class="enum" href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either">Either</a><Self, Self> <a href="#" class="tooltip" data-notable-ty="Either<Self, Self>">ⓘ</a><div class="where">where |
| F: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/ops/function/trait.FnOnce.html" title="trait core::ops::function::FnOnce">FnOnce</a>(&Self) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.bool.html">bool</a>,</div></h4></section></summary><div class='docblock'>Converts <code>self</code> into a <a href="https://docs.rs/either/1/either/enum.Either.html#variant.Left" title="variant either::Either::Left"><code>Left</code></a> variant of <a href="https://docs.rs/either/1/either/enum.Either.html" title="enum either::Either"><code>Either<Self, Self></code></a> |
| if <code>into_left(&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<Self, Self></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-Pointable-for-T" class="impl"><a href="#impl-Pointable-for-T" class="anchor">§</a><h3 class="code-header">impl<T> Pointable for T</h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedconstant.ALIGN" class="associatedconstant trait-impl"><a href="#associatedconstant.ALIGN" class="anchor">§</a><h4 class="code-header">const <a class="constant">ALIGN</a>: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.usize.html">usize</a></h4></section></summary><div class='docblock'>The alignment of pointer.</div></details><details class="toggle" open><summary><section id="associatedtype.Init" class="associatedtype trait-impl"><a href="#associatedtype.Init" class="anchor">§</a><h4 class="code-header">type <a class="associatedtype">Init</a> = T</h4></section></summary><div class='docblock'>The type for initializers.</div></details><details class="toggle method-toggle" open><summary><section id="method.init" class="method trait-impl"><a href="#method.init" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">init</a>(init: <T as Pointable>::Init) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.usize.html">usize</a></h4></section></summary><div class='docblock'>Initializes a with the given initializer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.deref" class="method trait-impl"><a href="#method.deref" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">deref</a><'a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&'a T</a></h4></section></summary><div class='docblock'>Dereferences the given pointer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.deref_mut" class="method trait-impl"><a href="#method.deref_mut" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">deref_mut</a><'a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.usize.html">usize</a>) -> <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&'a mut T</a></h4></section></summary><div class='docblock'>Mutably dereferences the given pointer. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.drop" class="method trait-impl"><a href="#method.drop" class="anchor">§</a><h4 class="code-header">unsafe fn <a class="fn">drop</a>(ptr: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.usize.html">usize</a>)</h4></section></summary><div class='docblock'>Drops the object pointed to by the given pointer. <a>Read more</a></div></details></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/1.90.0/src/alloc/borrow.rs.html#82-84">Source</a><a href="#impl-ToOwned-for-T" class="anchor">§</a><h3 class="code-header">impl<T> <a class="trait" href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html" title="trait alloc::borrow::ToOwned">ToOwned</a> for T<div class="where">where |
| T: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/clone/trait.Clone.html" title="trait core::clone::Clone">Clone</a>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Owned" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/alloc/borrow.rs.html#86">Source</a><a href="#associatedtype.Owned" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html#associatedtype.Owned" class="associatedtype">Owned</a> = T</h4></section></summary><div class='docblock'>The resulting type after obtaining ownership.</div></details><details class="toggle method-toggle" open><summary><section id="method.to_owned" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/alloc/borrow.rs.html#87">Source</a><a href="#method.to_owned" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned" class="fn">to_owned</a>(&self) -> T</h4></section></summary><div class='docblock'>Creates owned data from borrowed data, usually by cloning. <a href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html#tymethod.to_owned">Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.clone_into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/alloc/borrow.rs.html#91">Source</a><a href="#method.clone_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html#method.clone_into" class="fn">clone_into</a>(&self, target: <a class="primitive" href="https://doc.rust-lang.org/1.90.0/std/primitive.reference.html">&mut T</a>)</h4></section></summary><div class='docblock'>Uses borrowed data to replace owned data, usually by cloning. <a href="https://doc.rust-lang.org/1.90.0/alloc/borrow/trait.ToOwned.html#method.clone_into">Read more</a></div></details></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/1.90.0/src/core/convert/mod.rs.html#833-835">Source</a><a href="#impl-TryFrom%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error-1" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#837">Source</a><a href="#associatedtype.Error-1" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html#associatedtype.Error" class="associatedtype">Error</a> = <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/convert/enum.Infallible.html" title="enum core::convert::Infallible">Infallible</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_from" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#840">Source</a><a href="#method.try_from" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html#tymethod.try_from" class="fn">try_from</a>(value: U) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><T, <T as <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><U>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-TryInto%3CU%3E-for-T" class="impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#817-819">Source</a><a href="#impl-TryInto%3CU%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<T, U> <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryInto.html" title="trait core::convert::TryInto">TryInto</a><U> for T<div class="where">where |
| U: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>,</div></h3></section></summary><div class="impl-items"><details class="toggle" open><summary><section id="associatedtype.Error" class="associatedtype trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#821">Source</a><a href="#associatedtype.Error" class="anchor">§</a><h4 class="code-header">type <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryInto.html#associatedtype.Error" class="associatedtype">Error</a> = <U as <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a></h4></section></summary><div class='docblock'>The type returned in the event of a conversion error.</div></details><details class="toggle method-toggle" open><summary><section id="method.try_into" class="method trait-impl"><a class="src rightside" href="https://doc.rust-lang.org/1.90.0/src/core/convert/mod.rs.html#824">Source</a><a href="#method.try_into" class="anchor">§</a><h4 class="code-header">fn <a href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryInto.html#tymethod.try_into" class="fn">try_into</a>(self) -> <a class="enum" href="https://doc.rust-lang.org/1.90.0/core/result/enum.Result.html" title="enum core::result::Result">Result</a><U, <U as <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html" title="trait core::convert::TryFrom">TryFrom</a><T>>::<a class="associatedtype" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.TryFrom.html#associatedtype.Error" title="type core::convert::TryFrom::Error">Error</a>></h4></section></summary><div class='docblock'>Performs the conversion.</div></details></div></details><details class="toggle implementors-toggle"><summary><section id="impl-Upcast%3CI,+U%3E-for-T" class="impl"><a href="#impl-Upcast%3CI,+U%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<I, T, U> Upcast<I, U> for T<div class="where">where |
| U: UpcastFrom<I, T>,</div></h3></section></summary><div class="impl-items"><section id="method.upcast" class="method trait-impl"><a href="#method.upcast" class="anchor">§</a><h4 class="code-header">fn <a class="fn">upcast</a>(self, interner: I) -> U</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-UpcastFrom%3CI,+T%3E-for-T" class="impl"><a href="#impl-UpcastFrom%3CI,+T%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<I, T> UpcastFrom<I, T> for T</h3></section></summary><div class="impl-items"><section id="method.upcast_from" class="method trait-impl"><a href="#method.upcast_from" class="anchor">§</a><h4 class="code-header">fn <a class="fn">upcast_from</a>(from: T, _tcx: I) -> T</h4></section></div></details><details class="toggle implementors-toggle"><summary><section id="impl-WithSubscriber-for-T" class="impl"><a href="#impl-WithSubscriber-for-T" class="anchor">§</a><h3 class="code-header">impl<T> WithSubscriber for T</h3></section></summary><div class="impl-items"><details class="toggle method-toggle" open><summary><section id="method.with_subscriber" class="method trait-impl"><a href="#method.with_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_subscriber</a><S>(self, subscriber: S) -> WithDispatch<Self><div class="where">where |
| S: <a class="trait" href="https://doc.rust-lang.org/1.90.0/core/convert/trait.Into.html" title="trait core::convert::Into">Into</a><Dispatch>,</div></h4></section></summary><div class='docblock'>Attaches the provided <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a |
| [<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details><details class="toggle method-toggle" open><summary><section id="method.with_current_subscriber" class="method trait-impl"><a href="#method.with_current_subscriber" class="anchor">§</a><h4 class="code-header">fn <a class="fn">with_current_subscriber</a>(self) -> WithDispatch<Self></h4></section></summary><div class='docblock'>Attaches the current <a href="crate::dispatcher#setting-the-default-subscriber">default</a> <a href="super::Subscriber"><code>Subscriber</code></a> to this type, returning a |
| [<code>WithDispatch</code>] wrapper. <a>Read more</a></div></details></div></details><section id="impl-Captures%3C'a%3E-for-T" class="impl"><a href="#impl-Captures%3C'a%3E-for-T" class="anchor">§</a><h3 class="code-header">impl<'a, T> Captures<'a> for T<div class="where">where |
| T: ?<a class="trait" href="https://doc.rust-lang.org/1.90.0/core/marker/trait.Sized.html" title="trait core::marker::Sized">Sized</a>,</div></h3></section></div><script type="text/json" id="notable-traits-data">{"&[CanonicalVarKind<Interner>]":"<h3>Notable traits for <code>&[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</code></h3><pre><code><div class=\"where\">impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for &[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</div>","&[GenericArg]":"<h3>Notable traits for <code>&[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</code></h3><pre><code><div class=\"where\">impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for &[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</div>","&[InEnvironment<Constraint<Interner>>]":"<h3>Notable traits for <code>&[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</code></h3><pre><code><div class=\"where\">impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for &[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</div>","&[QuantifiedWhereClause]":"<h3>Notable traits for <code>&[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</code></h3><pre><code><div class=\"where\">impl <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for &[<a class=\"primitive\" href=\"https://doc.rust-lang.org/1.90.0/std/primitive.u8.html\">u8</a>]</div>","Either<Self, Self>":"<h3>Notable traits for <code><a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R></code></h3><pre><code><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a><Item = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" title=\"type core::iter::traits::iterator::Iterator::Item\">Item</a>>,</div></div><div class=\"where\"> type <a href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" class=\"associatedtype\">Item</a> = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html\" title=\"trait core::iter::traits::iterator::Iterator\">Iterator</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.90.0/core/iter/traits/iterator/trait.Iterator.html#associatedtype.Item\" title=\"type core::iter::traits::iterator::Iterator::Item\">Item</a>;</div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a><Output = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html#associatedtype.Output\" title=\"type core::future::future::Future::Output\">Output</a>>,</div></div><div class=\"where\"> type <a href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html#associatedtype.Output\" class=\"associatedtype\">Output</a> = <L as <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html\" title=\"trait core::future::future::Future\">Future</a>>::<a class=\"associatedtype\" href=\"https://doc.rust-lang.org/1.90.0/core/future/future/trait.Future.html#associatedtype.Output\" title=\"type core::future::future::Future::Output\">Output</a>;</div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Read.html\" title=\"trait std::io::Read\">Read</a>,</div></div><div class=\"where\">impl<L, R> <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a> for <a class=\"enum\" href=\"https://docs.rs/either/1/either/enum.Either.html\" title=\"enum either::Either\">Either</a><L, R><div class=\"where\">where\n L: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,\n R: <a class=\"trait\" href=\"https://doc.rust-lang.org/1.90.0/std/io/trait.Write.html\" title=\"trait std::io::Write\">Write</a>,</div></div>"}</script></section></div></main></body></html> |