pub fn param_def(did: DefId) -> ParamDef