]> git.lizzy.rs Git - rust.git/commit
Rename some occurences of `skol` to `placeholder`
authorscalexm <alexandre@scalexm.fr>
Fri, 2 Nov 2018 17:56:30 +0000 (18:56 +0100)
committerscalexm <alexandre@scalexm.fr>
Sat, 24 Nov 2018 00:24:40 +0000 (01:24 +0100)
commitda3def3ebffaefc4e8abbdba99981141ab74e4e4
tree30be1a0fa65cc82de693109b1ac362747e546afd
parent05995a85221cde573b81ab918b0f3686452dca3b
Rename some occurences of `skol` to `placeholder`
src/librustc/traits/project.rs
src/librustc/traits/query/normalize.rs
src/librustc/ty/fold.rs
src/librustc/ty/mod.rs
src/librustc/ty/sty.rs
src/librustc_typeck/check/method/probe.rs
src/librustc_typeck/check/writeback.rs