mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add docs for FnCtxt::resolve_ufcs

Browse source
This commit is contained in:
jam1garner 2021-05-26 21:52:56 -04:00 • committed by Niko Matsakis
parent 01bdb8e38a
commit a9dc234c43
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_typeck/src/check/method/mod.rs
View file

@ -468,6 +468,18 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
Some(InferOk { obligations, value: callee })
}
/// Performs "universal function call" lookup. If lookup is successful, it will return the type
/// of definition and the [`DefId`] of the found definition.
///
/// # Arguments
///
/// Given a function call like `Foo::bar::<T1,...Tn>(...)`:
///
/// * `self`: the surrounding `FnCtxt` (!)
/// * `span`: the span of the entire function call
/// * `method_name`: the identifier of the function within the container type (`bar`)
/// * `self_ty`: the type to search within (`Foo`)
/// * `expr_id`: the [`hir::HirId`] of the expression composing the entire call
#[instrument(level = "debug", skip(self))]
pub fn resolve_ufcs(
&self,