Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:122689 X-Original-To: internals@lists.php.net Delivered-To: internals@lists.php.net Received: from php-smtp4.php.net (php-smtp4.php.net [45.112.84.5]) by qa.php.net (Postfix) with ESMTPS id 7A0F91AD8F6 for ; Tue, 19 Mar 2024 16:46:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=php.net; s=mail; t=1710866819; bh=CTXFlHEQ8X16w245WZFBs1u5TlOhEqiZ6ireuBLuHr0=; h=References:In-Reply-To:From:Date:Subject:To:Cc:From; b=hB5hDnMDz/FwBgBciHho9FRJfU9Lt7sjpwUNGhaVXp+OGXVeV6F0FALCZlQfDmhxq L0vVCCZ6wqlXujmsh+YeTJawfw5HsN9Yw08HKKg3aQR5KLZ4XMPpj6Myk5nV9zQlAd 52X2xFLehTGnOOUzP8SjpUcXNLyLXLjaxF6hsIflqsQxGvyEtAth6tjAzZDdvLLlh5 ceKGBxb9NS8JkfSgBfJ3rYy3S9MYGuCHeKh3DwalxHJm0ayTqNbAV39jJWEZArWZXO mMACFYmbQeCkO+MnQsiy5aIJZblhV71BR3v1gfCqFH971fPDo90ctV5hiGFpjzhgeD 0rhmIHpzkPvqg== Received: from php-smtp4.php.net (localhost [127.0.0.1]) by php-smtp4.php.net (Postfix) with ESMTP id 18141180079 for ; Tue, 19 Mar 2024 16:46:59 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 4.0.0 (2022-12-13) on php-smtp4.php.net X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_50,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,DMARC_PASS,FREEMAIL_FROM, HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE, SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=4.0.0 X-Spam-Virus: No X-Envelope-From: Received: from mail-ua1-f44.google.com (mail-ua1-f44.google.com [209.85.222.44]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by php-smtp4.php.net (Postfix) with ESMTPS for ; Tue, 19 Mar 2024 16:46:58 +0000 (UTC) Received: by mail-ua1-f44.google.com with SMTP id a1e0cc1a2514c-7de0cc4b615so883595241.1 for ; Tue, 19 Mar 2024 09:46:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1710866797; x=1711471597; darn=lists.php.net; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=CTXFlHEQ8X16w245WZFBs1u5TlOhEqiZ6ireuBLuHr0=; b=Hn2cMzH0WZJac3JWPWY39Tx3e1wTYPPsi9qkS0fDCcEWggjFNhEzWpdLyQySmoasyJ +cx6mfbnOZ1QfKbtpCtHn+zIfbDmzuBMRlb1LOC2Q0qb9q+dAnf0deWpVi2V1vygGeKd zXabi7yIVzKO7vmxbWHCL42KIDFWnNNeWYxvqGsYQKW6eQLLjwAp54406smRVda/DExg 7NI3QFpY0Elx1K+bbWLtgxlRWecG/U94wLBGNgUst2E45kIDQGQnfgFQXbt2w4x2dt0m EUeYCKv7ti13Hb85Tv2J9lEzyN/h1CrW9LKUrdfwG+bvLxjH3noF7FfIFNr9uz1tOmYP RFYg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710866797; x=1711471597; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=CTXFlHEQ8X16w245WZFBs1u5TlOhEqiZ6ireuBLuHr0=; b=lXp2S3eiMGJie+V5qlKQE6K14IZ7Uq3Df8uwBcgQkhiK01pry6fCD9lGMJ2KpQXFnh lEnqNyo+ySnVriWL1xYbZp4XzVpxDudlCNYh9uKl9raltRjFsgq8VKGWa91q9DnIDEXp 0v+NVUjBiSQe5dKcY1i6GORhFtP44VNRsQN2CC8fGQ2tZsv5VtYny3Y+O8E9+v8YKtJC L8+DVGEcBGFZ2Pw2PkeRdm800zqL68p/1w1ocA+VG8W8QhXT6g/SApVJQwmsHPZ0m4Z8 /Ta9NGGuJhHUHA+/ntj6v7NzJe8sSW22qK0Cp9b3f5YfJQg30beBwanQDSjjDwsMGfH2 p8TA== X-Forwarded-Encrypted: i=1; AJvYcCVyRvhywf9L53fUQh4UlBz6XaorYhFF+npd6etKAvTlfMtVC2/XE3NJgR6jFdH/vTD0kd84ytx1+QYluORqBT9H+A/bTRupng== X-Gm-Message-State: AOJu0YyDEIpaEhuEZF6DXZoHh+QT1JCoReBQxEqO8Qz9JALV0iWzB7jj fwy9YmC87ECqL9ZQsi1bV/EBuCb/q73ulWHhd66UE6YrkxwO5tK1eT49xY4QyOWOBwzRPsNggJo qFiJuh3celnsOVPq+dVRWAgsLYiM= X-Google-Smtp-Source: AGHT+IFjloXitNNrWwO/U6BLoE+AofxuZoGAghkJhfOmlq3t9m/9dtA2aiYtVOrumkdqcjcN9xf1uaVhkjUhlMBq4kc= X-Received: by 2002:a05:6102:162b:b0:474:cf86:27f1 with SMTP id cu43-20020a056102162b00b00474cf8627f1mr2636513vsb.3.1710866796644; Tue, 19 Mar 2024 09:46:36 -0700 (PDT) Precedence: bulk list-help: list-post: List-Id: internals.lists.php.net MIME-Version: 1.0 References: In-Reply-To: Date: Tue, 19 Mar 2024 13:46:00 -0300 Message-ID: Subject: Re: [PHP-DEV] Proposal: AS assertions To: Marco Pivetta Cc: Robert Landers , internals Content-Type: multipart/alternative; boundary="000000000000ac10a206140637a6" From: deleugyn@gmail.com (Deleu) --000000000000ac10a206140637a6 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Tue, Mar 19, 2024 at 1:42=E2=80=AFPM Marco Pivetta = wrote: > One note: if what you are going for is what `azjezz/psl`, be aware that > exception / error tracing design needs special attention here: it's not a= s > simple as it looks! > I believe you answered your own question here. The proposal seems far simpler and reaches 100% of PHP projects as opposed to the ones that either opt to use psalm or opt to use azjezz/psl. --=20 Marco Deleu --000000000000ac10a206140637a6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable --000000000000ac10a206140637a6--