Searched refs:StepCursor (Results 1 - 1 of 1) sorted by relevance
| /third_party/rust/crates/syn/src/ |
| H A D | parse.rs | 330 pub struct StepCursor<'c, 'a> { structure names
334 // This field is contravariant in 'c. Together these make StepCursor
336 // different lifetime but can upcast into a StepCursor with a shorter
339 // As long as we only ever construct a StepCursor for which 'c outlives 'a,
340 // this means if ever a StepCursor<'c, 'a> exists we are guaranteed that 'c
345 impl<'c, 'a> Deref for StepCursor<'c, 'a> {
353 impl<'c, 'a> Copy for StepCursor<'c, 'a> {}
355 impl<'c, 'a> Clone for StepCursor<'c, 'a> {
361 impl<'c, 'a> StepCursor<'c, 'a> { impls
371 pub(crate) fn advance_step_cursor<'c, 'a>(proof: StepCursor<'
[all...] |
Completed in 2 milliseconds