Mention infer::Trace
methods on infer::At
methods' docs
#97967
Merged
infer::Trace
methods on infer::At
methods' docs
#97967