Function bare_target_message 

pub fn bare_target_message(t: Target, depth: Option<usize>) -> String

The bare-target error. depth is the scope depth the name was read at when known statically (the carets in the hint count it); None when raised at read time by the context, where the hint spells out the rule instead.