David Blaikie b02c6a8db4 Add unit tagging to SymbolicConstantId (#6262) vor 6 Monaten
..
alias 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) vor 7 Monaten
array e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
as e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
basics b02c6a8db4 Add unit tagging to SymbolicConstantId (#6262) vor 6 Monaten
builtins 90771414f5 Add builtins to form and detect null `MaybeUnformed(T*)` values. (#6208) vor 6 Monaten
choice 47081be67a Reduce test sensitivity to small import loc changes (#6145) vor 7 Monaten
class 45017bf65d Add tests for calling a base function without qualifications (#6221) vor 6 Monaten
const b3c25ecfa2 Allow implicit conversion to a value expression to remove `const`. (#6253) vor 6 Monaten
deduce e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
eval e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
facet e12d1b6d6d Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201) vor 6 Monaten
for 851da43c88 Make Optional support specializing its representation. (#6058) vor 6 Monaten
function e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
generic e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
global 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) vor 10 Monaten
if 47081be67a Reduce test sensitivity to small import loc changes (#6145) vor 7 Monaten
if_expr e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
impl 0ed5d41a1b Avoid mismatched InterfaceId comparison between two files (#6241) vor 6 Monaten
index e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
interface e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
interop b3c25ecfa2 Allow implicit conversion to a value expression to remove `const`. (#6253) vor 6 Monaten
let e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
main_run 47081be67a Reduce test sensitivity to small import loc changes (#6145) vor 7 Monaten
named_constraint 22580a47d3 Initial support for empty named constraints (#6245) vor 6 Monaten
namespace e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
operators e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
package_expr e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
packages 93b79f159e Change InstId dumping to hex numbers that include the tag (#6175) vor 7 Monaten
patterns e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
pointer e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
primitives fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) vor 7 Monaten
return e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
struct e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
tuple e26b6a35c2 Allow instance binding on tuple-valued expressions. (#6203) vor 6 Monaten
var e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) vor 7 Monaten
where_expr fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) vor 7 Monaten
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) vor 8 Monaten