将上下文边界转换为隐式形参。