Skip to main content

McpState

Struct McpState 

Source
pub struct McpState {
    pub pool: PgPool,
    pub app_conf: ApplicationConfiguration,
    pub jwt_key: Arc<JwtKey>,
    pub file_store: Arc<dyn FileStore + Send + Sync>,
    pub validator: Arc<dyn BlockValidator>,
    pub exercise_services: ExerciseServiceClients,
    block_schemas: Mutex<Option<(Instant, Arc<BlockSchemas>)>>,
}
Expand description

Everything a tool handler needs besides its request.

Fields§

§pool: PgPool§app_conf: ApplicationConfiguration§jwt_key: Arc<JwtKey>§file_store: Arc<dyn FileStore + Send + Sync>§validator: Arc<dyn BlockValidator>§exercise_services: ExerciseServiceClients§block_schemas: Mutex<Option<(Instant, Arc<BlockSchemas>)>>

Held while fetching, so calls that find the cache stale meanwhile wait for that one fetch.

Implementations§

Source§

impl McpState

Source

pub fn new( pool: PgPool, app_conf: ApplicationConfiguration, jwt_key: Arc<JwtKey>, file_store: Arc<dyn FileStore + Send + Sync>, validator: Arc<dyn BlockValidator>, exercise_services: ExerciseServiceClients, ) -> Self

The state with an empty block schema cache.

Source

pub fn review_url(&self, changeset_id: Uuid) -> String

The page where the teacher reviews, publishes or discards a changeset.

Source

pub async fn block_schemas(&self) -> Result<Arc<BlockSchemas>, ValidatorError>

The CMS block schemas, cached briefly.

Trait Implementations§

Source§

impl ToolHandler<McpState> for DiscardChangeset

Source§

type Args = DiscardChangesetArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: DiscardChangesetArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for FindReplace

Source§

type Args = FindReplaceArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: FindReplaceArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetCourseSettings

Source§

type Args = CourseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: CourseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetCourseStructure

Source§

type Args = GetCourseStructureArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: GetCourseStructureArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetExercise

Source§

type Args = GetExerciseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: GetExerciseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetGlossaryAndReferences

Source§

type Args = CourseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: CourseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetHistory

Source§

type Args = GetHistoryArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: GetHistoryArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for GetPageContent

Source§

type Args = GetPageContentArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: GetPageContentArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

type Args = GetPreviewLinkArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: GetPreviewLinkArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for Guide

Source§

type Args = GuideArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, _: &'life2 RequestContext, args: GuideArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for ListChangesets

Source§

type Args = ListChangesetsArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: ListChangesetsArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for ListCourses

Source§

type Args = ListCoursesArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, __arg3: ListCoursesArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for ListExercises

Source§

type Args = ListExercisesArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: ListExercisesArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PatchCourseSettings

Source§

type Args = PatchCourseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PatchCourseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PatchCourseStructure

Source§

type Args = PatchCourseStructureArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PatchCourseStructureArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PatchExercise

Source§

type Args = PatchExerciseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PatchExerciseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PatchGlossaryAndReferences

Source§

type Args = PatchCourseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PatchCourseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PatchPageContent

Source§

type Args = PatchPageContentArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PatchPageContentArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for PublishChangeset

Source§

const ASKS_FOR_CONFIRMATION: bool = true

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

type Args = PublishChangesetArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: PublishChangesetArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

impl ToolHandler<McpState> for ReadPublicCourse

Source§

type Args = ReadPublicCourseArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: ReadPublicCourseArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for RevertChange

Source§

type Args = RevertChangeArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: RevertChangeArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for StructuralReplace

Source§

type Args = StructuralReplaceArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: StructuralReplaceArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.
Source§

impl ToolHandler<McpState> for UploadFile

Source§

type Args = UploadFileArgs

The tool’s arguments; their JSON Schema is the tool’s input schema.
Source§

fn call<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, state: &'life1 McpState, ctx: &'life2 RequestContext, args: UploadFileArgs, ) -> Pin<Box<dyn Future<Output = Result<ToolOutcome, ToolError>> + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Source§

const ASKS_FOR_CONFIRMATION: bool = false

Whether call can answer ToolOutcome::NeedsConfirmation. Only then does dispatch bind the call’s arguments to a confirmation, which costs a pass over them.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> FutureExt for T

§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> IntoRequest<T> for T

§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
§

impl<L> LayerExt<L> for L

§

fn named_layer<S>(&self, service: S) -> Layered<<L as Layer<S>>::Service, S>
where L: Layer<S>,

Applies the layer to a service and wraps it in [Layered].
§

impl<T> PolicyExt for T
where T: ?Sized,

§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more
§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<T> ServiceExt for T

§

fn map_response_body<F>(self, f: F) -> MapResponseBody<Self, F>
where Self: Sized,

Apply a transformation to the response body. Read more
§

fn decompression(self) -> Decompression<Self>
where Self: Sized,

Decompress response bodies. Read more
§

fn trace_for_http(self) -> Trace<Self, SharedClassifier<ServerErrorsAsFailures>>
where Self: Sized,

High level tracing that classifies responses using HTTP status codes. Read more
§

fn trace_for_grpc(self) -> Trace<Self, SharedClassifier<GrpcErrorsAsFailures>>
where Self: Sized,

High level tracing that classifies responses using gRPC headers. Read more
§

fn follow_redirects(self) -> FollowRedirect<Self>
where Self: Sized,

Follow redirect resposes using the Standard policy. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T> ErasedDestructor for T
where T: 'static,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,