Skip to main content

InlayHintConfig

Struct InlayHintConfig 

Source
pub struct InlayHintConfig {
    pub show_type_hints: bool,
    pub show_parameter_hints: bool,
    pub show_variable_type_hints: bool,
    pub show_return_type_hints: bool,
    pub show_chain_hints: bool,
    pub show_binding_kind_hints: bool,
}
Expand description

Configuration for inlay hints

Fields§

§show_type_hints: bool§show_parameter_hints: bool§show_variable_type_hints: bool

Show : type hints after variable names in let/var/const without explicit annotations

§show_return_type_hints: bool

Show -> type hints after function parameter lists without explicit return annotations

§show_chain_hints: bool

W2.4 / 1.27: render the inferred type after every intermediate .method() call in a method chain (e.g. xs.map(f).filter(g).sum() → hint after .map(f) and .filter(g)).

§show_binding_kind_hints: bool

W2.4 / 1.25 + LSP-I (R8 W11): render an approximate BindingStorageClass label after let/var bindings. The five ADR-006 §2 categories — [Direct] / [UniqueHeap] / [SharedCow] / [SharedAtomic] / [SharedAtomicMut] — are rendered as best-effort labels from the LSP-side AST (the authoritative classifier lives in the bytecode compiler at crates/shape-vm/src/type_tracking.rs:286

  • the MIR borrow solver). Always surfaced with the [… approx] qualifier so the user knows it is not the compiler verdict.

Standing pattern (binding 2026-05-26): Shape-unique inlay hints (chain hints, binding-storage-class hints, anything not Rust/TS idiomatic) ship opt-in default-OFF under the shape.inlayHints.* namespace. The canonical LSP key for this toggle is shape.inlayHints.bindingStorageClass.enable: boolean (Decision 2 ratify). The legacy bindingKindHints key (W2.4 / 1.25 vintage) is accepted as an alias for backward compatibility; future inlay-hint sub-clusters should follow the same opt-in default-OFF shape.

Implementations§

Source§

impl InlayHintConfig

Source

pub fn from_lsp_settings(value: Option<&Value>) -> Self

W2.4 / 1.70 + LSP-I (R8 W11): parse an InlayHintConfig from a workspace/configuration JSON value. Honors keys such as shape.inlayHints.enable, shape.inlayHints.typeHints, shape.inlayHints.parameterHints, shape.inlayHints.variableTypeHints, shape.inlayHints.returnTypeHints, shape.inlayHints.chainHints, shape.inlayHints.bindingStorageClass.enable (canonical Decision 2 key for binding-storage-class hints), and shape.inlayHints.bindingKindHints (legacy W2.4 / 1.25 alias, retained for backward compatibility).

snake_case aliases (e.g. chain_hints, binding_storage_class) are also accepted. Unknown keys are ignored. Returns Default::default() when the input is None or contains no recognized keys.

Trait Implementations§

Source§

impl Clone for InlayHintConfig

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for InlayHintConfig

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for InlayHintConfig

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

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

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

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
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + 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
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + 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
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.
Source§

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

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

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
Source§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

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