Typed literal within record literal

[cryptoschindler]

is this somehow possible? @claudio

  let http_response = await ic.http_request({
      url = "https://postman-echo.com/get";
      method = #get;
      max_response_bytes = 10 : ?Nat64; // this doesnt work :(
      body = null;
      transform = null;
      headers = [];
    });

[skilesare]

Isn’t it:

max_response_bytes = ?10 : ?Nat64; 

[cryptoschindler]

yes many thanks and 20 chars!

[cryptoschindler]

the compiler/ language plugin feedback is a bit vague though, when using 10 instead if ?10.

imo it would make more sense to say

literal of type
  Nat64
does not have expected type
  ?Nat64