Struct rustc::traits::SelectionContext [] [src]

pub struct SelectionContext<'cx, 'gcx: 'cx + 'tcx, 'tcx: 'cx> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

Methods

impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx>
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

Attempts to satisfy the obligation. If successful, this will affect the surrounding type environment by performing unification.

🔬 This is a nightly-only experimental API. (rustc_private)

Evaluates whether the obligation obligation can be satisfied (by any means).

🔬 This is a nightly-only experimental API. (rustc_private)

Evaluates whether the obligation obligation can be satisfied, and returns false if not certain. However, this is not entirely accurate if inference variables are involved.