fix profile name
This commit is contained in:
parent
f59cd1a4a0
commit
61135d4d4d
@ -122,7 +122,7 @@ pub(crate) fn solve_query(
|
||||
krate: Crate,
|
||||
trait_ref: Canonical<InEnvironment<Obligation>>,
|
||||
) -> Option<Solution> {
|
||||
let _p = profile("implements_query");
|
||||
let _p = profile("solve_query");
|
||||
let canonical = trait_ref.to_chalk(db).cast();
|
||||
// We currently don't deal with universes (I think / hope they're not yet
|
||||
// relevant for our use cases?)
|
||||
|
Loading…
Reference in New Issue
Block a user