Searched refs:AsParameters (Results 1 – 3 of 3) sorted by relevance
| /dports/devel/rust-analyzer/rust-analyzer-2021-12-20/cargo-crates/chalk-ir-0.75.0/src/ |
| H A D | lib.rs | 2252 parameters: &(impl AsParameters<I> + ?Sized), in substitute()
2739 struct SubstFolder<'i, I: Interner, A: AsParameters<I>> {
2753 pub trait AsParameters<I: Interner> { trait
2758 impl<I: Interner> AsParameters<I> for Substitution<I> {
2765 impl<I: Interner> AsParameters<I> for [GenericArg<I>] { impl
2771 impl<I: Interner> AsParameters<I> for [GenericArg<I>; 1] { impl
2777 impl<I: Interner> AsParameters<I> for Vec<GenericArg<I>> {
2783 impl<T, I: Interner> AsParameters<I> for &T impl
2785 T: ?Sized + AsParameters<I>,
2794 pub trait Substitute<I: Interner>: AsParameters<I> {
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir-0.55.0/src/ |
| H A D | lib.rs | 2275 parameters: &(impl AsParameters<I> + ?Sized), in substitute()
2758 struct SubstFolder<'i, I: Interner, A: AsParameters<I>> {
2772 pub trait AsParameters<I: Interner> { interface
2777 impl<I: Interner> AsParameters<I> for Substitution<I> {
2784 impl<I: Interner> AsParameters<I> for [GenericArg<I>] { impl
2790 impl<I: Interner> AsParameters<I> for [GenericArg<I>; 1] { impl
2796 impl<I: Interner> AsParameters<I> for Vec<GenericArg<I>> {
2802 impl<T, I: Interner> AsParameters<I> for &T impl
2804 T: ?Sized + AsParameters<I>,
2813 pub trait Substitute<I: Interner>: AsParameters<I> {
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/vendor/chalk-ir/src/ |
| H A D | lib.rs | 2252 parameters: &(impl AsParameters<I> + ?Sized), in substitute()
2744 struct SubstFolder<'i, I: Interner, A: AsParameters<I>> {
2758 pub trait AsParameters<I: Interner> { interface
2763 impl<I: Interner> AsParameters<I> for Substitution<I> {
2770 impl<I: Interner> AsParameters<I> for [GenericArg<I>] { impl
2776 impl<I: Interner> AsParameters<I> for [GenericArg<I>; 1] { impl
2782 impl<I: Interner> AsParameters<I> for Vec<GenericArg<I>> {
2788 impl<T, I: Interner> AsParameters<I> for &T impl
2790 T: ?Sized + AsParameters<I>,
2799 pub trait Substitute<I: Interner>: AsParameters<I> {
[all …]
|