add comment
This commit is contained in:
parent
31431ccda9
commit
84e97907c6
@ -105,6 +105,12 @@
|
|||||||
/// parameter environment.
|
/// parameter environment.
|
||||||
#[derive(PartialEq, Eq, Debug, Clone, TypeFoldable, TypeVisitable)]
|
#[derive(PartialEq, Eq, Debug, Clone, TypeFoldable, TypeVisitable)]
|
||||||
pub enum SelectionCandidate<'tcx> {
|
pub enum SelectionCandidate<'tcx> {
|
||||||
|
/// A builtin implementation for some specific traits, used in cases
|
||||||
|
/// where we cannot rely an ordinary library implementations.
|
||||||
|
///
|
||||||
|
/// The most notable examples are `sized`, `Copy` and `Clone`. This is also
|
||||||
|
/// used for the `DiscriminantKind` and `Pointee` trait, both of which have
|
||||||
|
/// an associated type.
|
||||||
BuiltinCandidate {
|
BuiltinCandidate {
|
||||||
/// `false` if there are no *further* obligations.
|
/// `false` if there are no *further* obligations.
|
||||||
has_nested: bool,
|
has_nested: bool,
|
||||||
|
Loading…
Reference in New Issue
Block a user