Function mk_param 

pub fn mk_param<'db>(
    interner: DbInterner<'db>,
    index: u32,
    id: GenericParamId,
) -> GenericArg<'db>