code: TypeResolver where(Map<TypeVariableKey, ? extends Type> mappings) {
      return new TypeResolver(typeTable.where(mappings));
    }
docs: Returns a new {@code TypeResolver} with {@code variable} mapping to {@code type}.