charon_lib::ast

Module meta_utils

source
Expand description

This file groups everything which is linked to implementations about crate::meta

Functionsยง

  • Combine some span information (useful when we need to compute the span-information of, say, a sequence).
  • Combine all the span information in a slice.
  • line_to_start_byte ๐Ÿ”’
    Given a line number within a source file, get the byte of the start of the line. Obviously not efficient to do many times, but this is used is diagnostic paths only. The line numer is expected to be 1-based.