Better disjoint checks #249
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This comment was marked as outdated.
This comment was marked as outdated.
1 similar comment
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/TelegramBotApi/Api.elm branch/cli/generated/TelegramBotApi/Api.elm
964c964
< , body : { chat_id : Json.Encode.Value, user_id : Int }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String, user_id : Int }
995c995,1002
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1007c1014
< { body : { chat_id : Json.Encode.Value, user_id : Int } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String, user_id : Int } }
1042c1049,1056
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1183c1197
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
1221c1235,1242
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1248c1269
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
1291c1312,1319
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1324c1352,1353
< , body : { chat_id : Json.Encode.Value, sender_chat_id : Int }
---
> , body :
> { chat_id : TelegramBotApi.Types.Int_Or_String, sender_chat_id : Int }
1355c1384,1391
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1369c1405,1407
< { body : { chat_id : Json.Encode.Value, sender_chat_id : Int } }
---
> { body :
> { chat_id : TelegramBotApi.Types.Int_Or_String, sender_chat_id : Int }
> }
1404c1442,1449
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1458c1503,1506
< , body : { chat_id : Json.Encode.Value, message_thread_id : Int }
---
> , body :
> { chat_id : TelegramBotApi.Types.Int_Or_String
> , message_thread_id : Int
> }
1489c1537,1544
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1503c1558,1562
< { body : { chat_id : Json.Encode.Value, message_thread_id : Int } }
---
> { body :
> { chat_id : TelegramBotApi.Types.Int_Or_String
> , message_thread_id : Int
> }
> }
1538c1597,1604
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1559c1625
< , body : { chat_id : Json.Encode.Value }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String }
1590c1656,1664
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
1600c1674
< { body : { chat_id : Json.Encode.Value } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String } }
1635c1709,1717
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
1801c1883
< , chat_id : Json.Encode.Value
---
> , chat_id : TelegramBotApi.Types.Int_Or_String
1804c1886
< , from_chat_id : Json.Encode.Value
---
> , from_chat_id : TelegramBotApi.Types.Int_Or_String
1810c1892,1893
< , reply_markup : Maybe Json.Encode.Value
---
> , reply_markup :
> Maybe TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove
1871c1954,1961
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
1888c1978,1983
< , Basics.identity config.body.from_chat_id
---
> , case config.body.from_chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
1922c2017,2034
< ( "reply_markup", Basics.identity mapUnpack )
---
> ( "reply_markup"
> , case mapUnpack of
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ForceReply content ->
> TelegramBotApi.Json.encodeForceReply
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__InlineKeyboardMarkup content ->
> TelegramBotApi.Json.encodeInlineKeyboardMarkup
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ReplyKeyboardMarkup content ->
> TelegramBotApi.Json.encodeReplyKeyboardMarkup
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ReplyKeyboardRemove content ->
> TelegramBotApi.Json.encodeReplyKeyboardRemove
> content
> )
1970c2082
< , chat_id : Json.Encode.Value
---
> , chat_id : TelegramBotApi.Types.Int_Or_String
1973c2085
< , from_chat_id : Json.Encode.Value
---
> , from_chat_id : TelegramBotApi.Types.Int_Or_String
1979c2091,2092
< , reply_markup : Maybe Json.Encode.Value
---
> , reply_markup :
> Maybe TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove
2045c2158,2165
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2062c2182,2187
< , Basics.identity config.body.from_chat_id
---
> , case config.body.from_chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
2096c2221,2238
< ( "reply_markup", Basics.identity mapUnpack )
---
> ( "reply_markup"
> , case mapUnpack of
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ForceReply content ->
> TelegramBotApi.Json.encodeForceReply
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__InlineKeyboardMarkup content ->
> TelegramBotApi.Json.encodeInlineKeyboardMarkup
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ReplyKeyboardMarkup content ->
> TelegramBotApi.Json.encodeReplyKeyboardMarkup
> content
>
> TelegramBotApi.Types.ForceReply_Or_InlineKeyboardMarkup_Or_ReplyKeyboardMarkup_Or_ReplyKeyboardRemove__ReplyKeyboardRemove content ->
> TelegramBotApi.Json.encodeReplyKeyboardRemove
> content
> )
2148c2290
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2151c2293
< , from_chat_id : Json.Encode.Value
---
> , from_chat_id : TelegramBotApi.Types.Int_Or_String
2192c2334,2341
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2209c2358,2363
< , Basics.identity config.body.from_chat_id
---
> , case config.body.from_chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
2250c2404
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2253c2407
< , from_chat_id : Json.Encode.Value
---
> , from_chat_id : TelegramBotApi.Types.Int_Or_String
2299c2453,2460
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2316c2477,2482
< , Basics.identity config.body.from_chat_id
---
> , case config.body.from_chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
2364c2530
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2403c2569,2576
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2438c2611
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2482c2655,2662
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2524c2704
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2562c2742,2749
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2588c2775
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2631c2818,2825
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2664c2858
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2702c2896,2903
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
2728c2929
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
2771c2972,2979
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3268c3476
< , body : { chat_id : Json.Encode.Value, user_id : Int }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String, user_id : Int }
3299c3507,3514
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3311c3526
< { body : { chat_id : Json.Encode.Value, user_id : Int } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String, user_id : Int } }
3346c3561,3568
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3595c3817
< , body : { chat_id : Json.Encode.Value }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String }
3626c3848,3856
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
3636c3866
< { body : { chat_id : Json.Encode.Value } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String } }
3671c3901,3909
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
3688c3926
< , body : { chat_id : Json.Encode.Value }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String }
3719c3957,3965
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
3729c3975
< { body : { chat_id : Json.Encode.Value } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String } }
3764c4010,4018
< [ ( "chat_id", Basics.identity config.body.chat_id ) ]
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
> ]
3781c4035,4038
< , body : { chat_id : Json.Encode.Value, message_thread_id : Int }
---
> , body :
> { chat_id : TelegramBotApi.Types.Int_Or_String
> , message_thread_id : Int
> }
3812c4069,4076
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3826c4090,4094
< { body : { chat_id : Json.Encode.Value, message_thread_id : Int } }
---
> { body :
> { chat_id : TelegramBotApi.Types.Int_Or_String
> , message_thread_id : Int
> }
> }
3861c4129,4136
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3892c4167
< , body : { chat_id : Json.Encode.Value, message_id : Int }
---
> , body : { chat_id : TelegramBotApi.Types.Int_Or_String, message_id : Int }
3923c4198,4205
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3945c4227,4228
< { body : { chat_id : Json.Encode.Value, message_id : Int } }
---
> { body : { chat_id : TelegramBotApi.Types.Int_Or_String, message_id : Int }
> }
3980c4263,4270
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
3999c4289,4290
< , body : { chat_id : Json.Encode.Value, message_ids : List Int }
---
> , body :
> { chat_id : TelegramBotApi.Types.Int_Or_String, message_ids : List Int }
4030c4321,4328
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4046c4344,4346
< { body : { chat_id : Json.Encode.Value, message_ids : List Int } }
---
> { body :
> { chat_id : TelegramBotApi.Types.Int_Or_String, message_ids : List Int }
> }
4081c4381,4388
< [ ( "chat_id", Basics.identity config.body.chat_id )
---
> [ ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4641c4948
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
4681c4988,4995
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4720c5034
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
4765c5079,5086
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4811c5132
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
4848c5169,5176
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4870c5198
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
4912c5240,5247
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
4941c5276
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
4979c5314,5321
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or_String__Int content ->
> Json.Encode.int content
>
> TelegramBotApi.Types.Int_Or_String__String content ->
> Json.Encode.string content
> )
5008c5350
< { chat_id : Json.Encode.Value
---
> { chat_id : TelegramBotApi.Types.Int_Or_String
5051c5393,5400
< ( "chat_id", Basics.identity config.body.chat_id )
---
> ( "chat_id"
> , case config.body.chat_id of
> TelegramBotApi.Types.Int_Or |
wolfadex
approved these changes
Jan 29, 2026
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.